Pick a free jetty stop port number, 9999 is already in use on mac.
Merge pull request #1660 from fdlk/master

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