Tomcat utility function