Fix slow startup of Jetty.