How to change the http port number used by SPECTRUM OneClick Tomcat web server