void (Document document, PsiDocumentManagerImpl manager) { DocumentEventImpl event = new DocumentEventImpl(document, 0, "", "", document.getModificationStamp(), false, 0, 0, 0); manager.beforeDocumentChange(event); manager.documentChanged(event); }