fixed path for tomcats server.xml