tomcat7-bin: version bumped to 7.0.53.