added properties to shutdown jetty gracefully