Tomcat naming scheme