ensuring choice of port prefix of 80 sets https port to default tomcat port of 8443 rather than non-standard 8043