manager.disconnect(fFile.getLocation(), new NullProgressMonitor());
manager.disconnect(fTextFileBuffer.getLocation(), new NullProgressMonitor());
	public void close() {				if (isClosed())			return;					IDocument d= fDocument;		fDocument= null;		d.removePrenotifiedDocumentListener(this);				if (fTextFileBuffer != null) {			ITextFileBufferManager manager= FileBuffers.getTextFileBufferManager();			try {				manager.disconnect(fFile.getLocation(), new NullProgressMonitor());			} catch (CoreException x) {				// ignore			}			fTextFileBuffer= null;		}				fireBufferChanged(new BufferChangedEvent(this, 0, 0, null));		fBufferListeners.clear();	}