@Override
  public void appendMirrorText(int indentLevel, @NotNull StringBuilder buffer) {
    String original = getText();
    if (isCorrectName(original)) {
      buffer.append(original);
    }
    else {
      buffer.append("$$").append(original).append(" /* Real name is '").append(original).append("' */");
    }
  }
@Override
  public void appendMirrorText(int indentLevel, @NotNull StringBuilder buffer)