Set default tomcat port to 8080