Update Default Port to 8080

Update the default Tomcat Manager port to reflect 8080 (actual).