android-optimized jetty websocket client