Updated tomcat to version 7.0.42