HttpServlet wrapper classes for vert.x