Tomcat config file is 'server.xml', not 'system.xml'