static AutoCloseable tempWebSocketClient(final WebSocketClient ws) {
  ret ws == null ? null : autocloseable {
    print("Closing WebSocket");
    ws.close();
  };
}