// Path: src/main/java/com/pureperfect/ferret/vfs/PathElement.java
// public interface PathElement
// {
// 	/**
// 	 * Get the parent container for this path.
// 	 * 
// 	 * @return the parent container for this path.
// 	 */
// 	public Container getParent();
// 
// 	/**
// 	 * Get the name of this path, relative to its parent.
// 	 * 
// 	 * @return the name of this path
// 	 */
// 	public String getName();
// 
// 	/**
// 	 * Get the full path, which should be unique on the file system.
// 	 * 
// 	 * @return the full path, which should be unique on the file system.
// 	 */
// 	public String getFullPath();
// 
// 	/**
// 	 * Open a stream to this resource.
// 	 * 
// 	 * @return the input stream to this resource
// 	 * @throws IOException
// 	 *             if an error occurs opening the stream
// 	 * @throws UnsupportedOperationException
// 	 *             if the resource cannot be opened.
// 	 */
// 	public InputStream openStream() throws IOException,
// 			UnsupportedOperationException;
// }


import java.io.IOException;
import java.io.PrintWriter;
import java.util.Set;
import javax.servlet.ServletException;
import javax.servlet.http.HttpServlet;
import javax.servlet.http.HttpServletRequest;
import javax.servlet.http.HttpServletResponse;
import com.pureperfect.ferret.vfs.PathElement;
package com.pureperfect.ferret;




public class InfoServlet extends HttpServlet
{
	private static final long serialVersionUID = 4612276238009605146L;

	public void doGet(HttpServletRequest request, HttpServletResponse response)
			throws ServletException, IOException
	{

		final PrintWriter out = response.getWriter();

		long startTime = System.currentTimeMillis();
		
		out.println("Checking WEB-INF/classes...");
		out.println();

		WebScanner scanner = new WebScanner();

		scanner.add(this.getServletContext(), "/WEB-INF/classes");

		ScanFilter allowAll = new ScanFilter()
		{
			@Override
// Path: src/main/java/com/pureperfect/ferret/vfs/PathElement.java
// public interface PathElement
// {
// 	/**
// 	 * Get the parent container for this path.
// 	 * 
// 	 * @return the parent container for this path.
// 	 */
// 	public Container getParent();
// 
// 	/**
// 	 * Get the name of this path, relative to its parent.
// 	 * 
// 	 * @return the name of this path
// 	 */
// 	public String getName();
// 
// 	/**
// 	 * Get the full path, which should be unique on the file system.
// 	 * 
// 	 * @return the full path, which should be unique on the file system.
// 	 */
// 	public String getFullPath();
// 
// 	/**
// 	 * Open a stream to this resource.
// 	 * 
// 	 * @return the input stream to this resource
// 	 * @throws IOException
// 	 *             if an error occurs opening the stream
// 	 * @throws UnsupportedOperationException
// 	 *             if the resource cannot be opened.
// 	 */
// 	public InputStream openStream() throws IOException,
// 			UnsupportedOperationException;
// }


// Path: testdata/wartest/src/main/java/com/pureperfect/ferret/InfoServlet.java
import java.io.IOException;
import java.io.PrintWriter;
import java.util.Set;
import javax.servlet.ServletException;
import javax.servlet.http.HttpServlet;
import javax.servlet.http.HttpServletRequest;
import javax.servlet.http.HttpServletResponse;
import com.pureperfect.ferret.vfs.PathElement;

package com.pureperfect.ferret;




public class InfoServlet extends HttpServlet
{
	private static final long serialVersionUID = 4612276238009605146L;

	public void doGet(HttpServletRequest request, HttpServletResponse response)
			throws ServletException, IOException
	{

		final PrintWriter out = response.getWriter();

		long startTime = System.currentTimeMillis();
		
		out.println("Checking WEB-INF/classes...");
		out.println();

		WebScanner scanner = new WebScanner();

		scanner.add(this.getServletContext(), "/WEB-INF/classes");

		ScanFilter allowAll = new ScanFilter()
		{
			@Override
			public boolean accept(PathElement resource)