anchor.diff:          }
       }
   %><%!
  -    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 final List DEFAULT_TYPES = Arrays.asList(
  +            new String[]{"pdf", "rtf", "doc", "ppt", "xls"});
   
       public static class Search {
   
  
positive.code:   WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
    See the License for the specific language governing permissions and
    limitations under the License.
  --%><%@ page import="org.apache.jackrabbit.j2ee.RepositoryAccessServlet,
                   org.apache.jackrabbit.util.Text,
                   javax.jcr.Node,
                   javax.jcr.Repository,
                     javax.jcr.Session,
                     javax.jcr.SimpleCredentials,
                     javax.swing.text.AttributeSet,
                     javax.swing.text.html.HTML,
                     javax.swing.text.html.HTMLDocument,
                     javax.swing.text.html.HTMLEditorKit,
                     java.io.FilterInputStream,
                     java.io.IOException,
                     java.io.InputStream,
                     java.io.InputStreamReader,
                     java.net.URL,
                     java.net.URLConnection,
                     java.net.URLDecoder,
                     java.net.URLEncoder,
                     java.util.ArrayList,
                     java.util.Arrays,
                     java.util.Calendar,
                     java.util.Collections,
                     java.util.Iterator,
                     java.util.List"
   %><%@ page contentType="text/html;charset=UTF-8" %><%
      Repository rep;
      Session jcrSession;
  
negative.code:                                     try {
                                          String info = fileName + " (" + host + ")";
                                          URLConnection con = currentURL.openConnection();
                                          InputStream in = con.getInputStream();
                                          try {
                                              synchronized (fOut) {
  