Instrument DomDistiller with timing information.

src/com/dom_distiller/client/DomDistiller.java

Index: src/com/dom_distiller/client/DomDistiller.java
diff --git a/src/com/dom_distiller/client/DomDistiller.java b/src/com/dom_distiller/client/DomDistiller.java
index b7bd6f883bee92aa8bfae17c67d19df9c2a1c20b..969d67aaecad88f7afa0613004fb6bc7dac8d31f 100644
--- a/src/com/dom_distiller/client/DomDistiller.java
+++ b/src/com/dom_distiller/client/DomDistiller.java
@@ -5,6 +5,7 @@
 package com.dom_distiller.client;
 
 import com.dom_distiller.proto.DomDistillerProtos;
+import com.dom_distiller.proto.DomDistillerProtos.TimingInfo;
 import com.google.gwt.dom.client.Document;
 
 import org.timepedia.exporter.client.Export;
@@ -32,6 +33,7 @@ public class DomDistiller implements Exportable {
 
   public static DomDistillerProtos.DomDistillerResult applyWithOptions(
           DomDistillerProtos.DomDistillerOptions options) {
+      double startTime = DomUtil.getTime();
       DomDistillerProtos.DomDistillerResult result = DomDistillerProtos.DomDistillerResult.create();
       ContentExtractor contentExtractor = new ContentExtractor(Document.get().getDocumentElement());
       result.setTitle(contentExtractor.extractTitle());
@@ -43,11 +45,11 @@ public class DomDistiller implements Exportable {
       boolean textOnly = options.hasExtractTextOnly() && options.getExtractTextOnly();
       content.setHtml(contentExtractor.extractContent(textOnly));
       result.setDistilledContent(content);
-
       result.setPaginationInfo(PagingLinksFinder.getPaginationInfo());
-
       result.setMarkupInfo(contentExtractor.getMarkupParser().getMarkupInfo());
-
+      TimingInfo timingInfo = contentExtractor.getTimingInfo();
+      timingInfo.setTotalTime(DomUtil.getTime() - startTime);
+      result.setTimingInfo(timingInfo);
       return result;
   }
 }