Allow the port to be changed with the jetty.port system property.
Issue #1.