Fix tomcat name in repo