Extend servlets from DefaultServlet instead of HttpServlet