DefaultServlet must be named 'default'