Jetty now quits faster