How to change the maven plugin’s embedded tomcat port number

Use the maven.tomcat.port system property.
E.g mvn -Dmaven.tomcat.port=8181 tomcat:run changes the port from 8080 (the default) to 8181