Use correct port for tomcat