[greg] change port in pom.xml for tomcat maven plugin from 8080 to 80