introduces a jetty configuration editor in order to change the threadpool sizes