migrate from tomcat6 to tomcat7