make port optional when starting a jetty server