Now it should work in Jetty. Caution! Tomcat deployment maybe broken :)

Changed HoldemHandler to extend WebSocketServlet