modify tomcat7