Corrections to tomcat server.xml