Have tomcat http port configurable