Bump tomcat to 7.0.42