Eu suponho que instale o Tomcat independente em /usr/local
em vez de usar um no diretório /usr/share
.
$ cd ~/Downloads
$ wget http://apache-mirror.rbc.ru/pub/apache/tomcat/tomcat-7/v7.0.52/bin/apache-tomcat-7.0.52.tar.gz
$ tar -xzf apache-tomcat-7.0.52.tar.gz
$ sudo mv apache-tomcat7.0.52 /usr/local/apache-tomcat7.0.52
Em seguida, use o diretório /usr/local/apache-tomcat7.0.52
.