protected void disposeFileInfo(Object element, FileInfo info) {
IFileBufferManager manager= FileBuffers.getTextFileBufferManager();
try {
info.fTextFileBuffer.releaseSynchronizationContext();
if (info.fTextFileBufferLocationKind != null)
manager.disconnect(info.fTextFileBuffer.getLocation(), info.fTextFileBufferLocationKind, getProgressMonitor());
else
manager.disconnectFileStore(info.fTextFileBuffer.getFileStore(), getProgressMonitor());
} catch (CoreException x) {
handleCoreException(x, "FileDocumentProvider.disposeElementInfo"); //$NON-NLS-1$
}