Tomcat7 spec