Update quickstart to Tomcat 7.0.42