But the problem is: Also if you added a repository which serves tomcat7 (epel for example) and install it, tomcatmng refuses to work:
tomcatmng --is-configured
Tomcat is not installed: Unable to find tomcat server config /usr/share/tomcat6//conf/server.xml
It seems there are hardcoded paths in...