Upgrading to Jetty 9.2.3