Updated Tomcat 7 version number.