Simple tomcat servlet