Changes in vote counts are pushed to clients via Websocket

Switched from Jetty 9.0.0.RC2 to 9.0.1.