tomcat7-bin: version bumped to 7.0.42.