import java.io.*;
import javax.servlet.*;
import javax.servlet.http.*;

public class DirIndex extends HttpServlet {
  @Override  
  public void doGet(HttpServletRequest req, HttpServletResponse res)
              throws IOException {
    res.setContentType("text/html");
    PrintWriter out = res.getWriter();

    String path = getServletContext().getRealPath("/WEB-INF/src"); // 
    File dir = new File(path);
    String[] files = dir.list();  // dir$B$K$"$k%U%!%$%kL>$NG[Ns$rF@$k(B
    
    out.println("<html><head></head><body>");
    out.println("<pre>");

    int i;
    for (i=0; i<files.length; i++) {
      out.println(files[i]);      // files$B$N3FMWAG$r=g$K=PNO(B
    }
    
    out.println("</pre>");
    out.println("</body></html>");
    out.close();
  }
}
