Pick a free jetty stop port number, 9999 is already in use on mac.

fixes #1659