Upgrade Jetty to 9.1.0.v20131115

Upgrade Jetty to released version 9.1.0.v20131115