void (@NotNull String newText) { if (!needToUpdate()) return; if (myDocument.getModificationStamp() > myInitialModificationStamp) { for (DocumentMerger merger : DocumentMerger.EP_NAME.getExtensionList()) { if (merger.updateDocument(myDocument, newText)) break; } } else { myDocument.setText(newText); } }