anchor.diff:          }
           String[] types = request.getParameterValues("filetype");
           if (types != null) {
  -            for (int i = 0; i < types.length; i++) {
  -                filetypes.add(types[i]);
  -            }
  +            filetypes.addAll(Arrays.asList(types));
  +        } else {
  +            filetypes = DEFAULT_TYPES;
           }
   
   if (seedWord != null && numDocs > 0 && filetypes.size() > 0) { %>
  
positive.code:         }
      }
  %><%!
      public Iterator getDocuments(String mimeType, String searchTerm) {
          return new Iterator() {
              public boolean hasNext() {
                  return false;
              }
  
              public Object next() {
                  return null;
              }
  
              public void remove() {
                  throw new UnsupportedOperationException();
              }
          };
      }
  
      public static class Search {
  
  
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;
                      }
  