tomcat::instance: specific server.xml for tomcat7