Upgrade Jetty to 9.1.0.v20131115