Tomcat single servlet now works