tomcat 7 with mods