Faster jetty shutdown.