Newer staged release of Jetty 9.2.4.