Some tomcat helpers