spec for tomcat