Update to Tomcat 7.0.42
Merge branch 'master' of https://github.com/gmazza/openshift-tomcat-quickstart