Pass port number to jetty.