remove old DefaultServlet handling code