switch tomcat 8 to tomcat 7