replacing tomcat to tomcat7