removed some code in HelloWorldServlet