switched to tomcat 7