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