tomcat7-bin: version bumped to 7.0.40.