set tomcat port to 80