Upgrade to Jetty 9 so that we get the latest Websocket implementation,
hopefully fixing problems discussed in Issue #2.