tomcat7 fix