fix HttpServlet