Alfresco at non default port

[pistah]

I just installed alfresco-enterprise-tomcat-2.1.0 bundle on Fedora7 with MySQL. On the same machine is running another application using port 8080 yet.
How can I change default Alfresco/Tomcat port to something else?

[mikeh]

tomcat/conf/server.xml contains the port number.

Thanks,
Mike