Fix: Bug 399309 - example on how to run Jetty accidentally uses command-line arguments instead of system properties