Tomcat updated to 7.0.42