update tomcat7 server.xml