Use release of Jetty 9.1.0