Application Server Port

How can I change the port of the server to something else than 8080?
(in order to run several application servers on one machine…)

http://localhost:8080/servoy-admin/

in application_server/server/config/server.xml you find the tomcat server configuration and the port…

Thanks a lot, now I got it running.
Not that easy when you don’t do this daily… :)