add support for tomcat7