Jetty

'bin/jetty.sh stop' reports 'OK' even when jetty was not running