fix for Jetty WebSockets implementation