Jetty - specifying a port