Upgrade to Tomcat 7.0.53 (fixes gh-632)