A servlet using @WebServlet and without DD web.xml