template for tomcat server.xml