Tomcat: change default port 8080 into 80

Edit tomcat/conf/server.xml and change:

into:

And not restart tomcat:

$ sudo $TOMCAT_HOME/bin/startup.sh
$ sudo $TOMCAT_HOME/bin/shutdown.sh