Customized DefaultServlet definition