anchor.diff:              facet_html = "Error faceting query";
           } else {
               Document facet_dom = DOM.stringToDOM(xml_facet_result);
  -            facetTiming = DOM.selectString(facet_dom,
  -                        "/responsecollection/@timing", "N/A");
  +            facetTiming = DOM.selectString(facet_dom, "/responsecollection/@timing", "N/A");
               facetXSLT = -System.currentTimeMillis();
  -            URL facet_xslt = new File(
  -                    basepath + "xslt/facet_overview.xsl").toURI().toURL();
  +            URL facet_xslt = new File(basepath + "xslt/facet_overview.xsl").toURI().toURL();
   
               Properties facet_prop = new Properties();
               facet_prop.put("filter", filter == null ? "" : "(" + filter + ") ");
  
positive.code:         } else {
              String usersearch = request.getParameter("usersearch");
              Document search_dom = DOM.stringToDOM(xml_search_result);
              searchTiming = DOM.selectString(search_dom,
                          "/responsecollection/@timing", "N/A");
              if (usersearch != null && "true".equals(usersearch)) {
                  // this search comes from the form, ie. it is submitted by a user
                  // so we extract the hitCount and submit it to the Suggestions index
  
negative.code: 
  
              searchXSLT = -System.currentTimeMillis();
              URL search_xslt = new File(basepath + "xslt/short_records.xsl").toURI().toURL();
  
              Properties search_prop = new Properties();
              if (query != null) {
  