fix tomcat 6.0 server.xml