Change tomcat to use port 8080.