anchor.diff:                                      try {
                                           String info = fileName + " (" + host + ")";
                                           URLConnection con = currentURL.openConnection();
  -                                        con.setReadTimeout(10000); // 10 seconds
                                           InputStream in = con.getInputStream();
                                           try {
                                               synchronized (fOut) {
  
positive.code:         }
          String[] types = request.getParameterValues("filetype");
          if (types != null) {
              for (int i = 0; i < types.length; i++) {
                  filetypes.add(types[i]);
              }
          }
  
  if (seedWord != null && numDocs > 0 && filetypes.size() > 0) { %>
  
negative.code:                 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();
                      if (urls.length == 0) {
                          break;
                      }
  