Workaround issue discovered by Stephane after upgrading to Jetty 9.