upgrade to Jetty 8.1.13.v20130916