Upgraded to Jetty-9.0.3
Simplified management of connected web sockets.
Added method to explicitly disconnect.