fix tomcat7 build