upgrade to tomcat 7.0.35