portet websockets from jetty to play