@Override
    public void handleText(int startOffset, int endOffset) {
      myBuffer.append("\n");
      for (int i = startOffset; i < endOffset; i++) {
        char c = myRawText.charAt(i);
        if (c > 127) {
          // Escape non-ascii symbols.
          myBuffer.append(String.format("\\u%04d?", (int)c));
          continue;
        }

        switch (c) {
          case '\t' -> {
            myBuffer.append(TAB);
            continue;
          }
          case '\n' -> {
            myBuffer.append(NEW_LINE);
            continue;
          }
          case '\\', '{', '}' -> myBuffer.append('\\');
        }
        myBuffer.append(c);
      }
    }
@Override
    public void handleText(int startOffset, int endOffset)