void (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("' */"); } }