docs: private int stringHexChar() throws JsonParserException {
      // GWT-compatible Character.digit(char, int)
      int c = "0123456789abcdef0123456789ABCDEF".indexOf(advanceChar()) % 16;
      if (c == -1)
        throw createParseException(null, "Expected unicode hex escape character", false);
      return c;
    }