Jetty 9.1 and JSR-356 (Java API for WebSockets)