adds tomcat 7.0.57