docs: private WebSocketInputStream openInputStream(Socket socket) throws WebSocketException
      {
          try
          {
              // Get the input stream of the raw socket through which
              // this client receives data from the server.
              return new WebSocketInputStream(
                  new BufferedInputStream(socket.getInputStream()));
          }
          catch (IOException e)
          {
              // Failed to get the input stream of the raw socket.
              throw new WebSocketException(
                  WebSocketError.SOCKET_INPUT_STREAM_FAILURE,
                  "Failed to get the input stream of the raw socket: " + e.getMessage(), e);
          }
      }