allow number of Jetty threads to be configured