Different Jetty stop port, since 9999 is already in use on mac.