update Tomcat version to 7.0.40