https://techsupportwhale.com/change-tomcat-port/
How to change the default port of Tomcat