Faster jetty shutdown. Faster build.