anchor.diff:                  String type = (String) filetypes.get(typeIdx);
                   int offset = 0;
                   while (n < numDocs * (typeIdx + 1) / filetypes.size()) {
  -                    final URL[] urls = new Search(type, seedWord, offset).getURLs(out);
  +                    final URL[] urls = new Search(type, seedWord, offset).getURLs();
                       if (urls.length == 0) {
                           break;
                       }
  
positive.code:                                     try {
                                          String info = fileName + " (" + host + ")";
                                          URLConnection con = currentURL.openConnection();
                                          con.setReadTimeout(10000); // 10 seconds
                                          InputStream in = con.getInputStream();
                                          try {
                                              synchronized (fOut) {
  
negative.code:         }
          String[] types = request.getParameterValues("filetype");
          if (types != null) {
              filetypes.addAll(Arrays.asList(types));
          } else {
              filetypes = DEFAULT_TYPES;
          }
  
  if (seedWord != null && numDocs > 0 && filetypes.size() > 0) { %>
  