updated to Jetty 8.1.11.v20130520