fixed tomcat naming issue