Fine-tunes Jetty builers.
Fine-tunes Jetty builers.