upgrading to latest version of jetty 9