fixed Tomcat 7 migration changes