Chasing Tomcat version down... now only one posted is 7.0.42