Go back to Jetty 8, for better compatibility