In case you need to change the SSL port which is 8843, you will need to edit psa_x.y.z/conf/server.xml file and replace 8843 with the desired value. Restart the application.
Any changes you make to the server.xml must be manually copied over after every upgrade.