((IDocumentExtension4)document).set(buffer.toString(), fFile.getModificationStamp()); else document.set(buffer.toString());
((IDocumentExtension4)document).set(buffer.toString(), fFile.getModificationStamp()); else document.set(buffer.toString());
if (replaceContent) { if (fDocument instanceof IDocumentExtension4) ((IDocumentExtension4)fDocument).set(newContent, fSynchronizationStamp); else fDocument.set(newContent);
if (replaceContent) { if (fDocument instanceof IDocumentExtension4) ((IDocumentExtension4)fDocument).set(newContent, fSynchronizationStamp); else fDocument.set(newContent);