Substitution of tomcat package name