upgrading to tomcat7