codahale/metrics — pull request #506 by joschi (2013-12-27 14:29:57+00:00)
Title: Upgraded to Jetty 9.1.0

Jetty 9.1.0 introduces some nice features like support for Servlet API 3.1 and Websockets. This PR adds support for Jetty 9.1.0 to Metrics.