Make jetty port configurable