#3790 upgraded to tomcat 7.0.42