added missing default jetty.stop.key