I've just followed this tutorial to install Tomcat 7 on my Ubuntu 14.04.
The only problem is that I already have ISPConfig working on port 8080
and tomcat's default installation also uses the same port.
How do I change the tomcat port? I'd like to use port 9000.