408923 Need to be able to configure the ThreadPool for the default jetty server in osgi