Updated to Jetty 9.1.0.v20131115.