Fix: Bug 399309 - example on how to run Jetty accidentally uses command-line arguments instead of system properties
Merge pull request #1 from martinburger/master

Fix for #399309 - fixing command line on STOP options