updating tomcat to version 7