my tomcat7 spec config