fix for jetty slow startup issue