if (fDocumentListener != null && buffer.equals(getBuffer(fFile))) { getDocument().removeDocumentListener(fDocumentListener); fDocumentListener= null;
if (fDocumentListener != null && buffer.getLocation().equals(fFile.getFullPath())) { if (buffer instanceof ITextFileBuffer) { ITextFileBuffer textBuffer= (ITextFileBuffer)buffer; textBuffer.getDocument().removeDocumentListener(fDocumentListener); fDocumentListener= null; }
		public void bufferDisposed(IFileBuffer buffer) {			if (fDocumentListener != null && buffer.equals(getBuffer(fFile))) {				getDocument().removeDocumentListener(fDocumentListener);				fDocumentListener= null;				fContentStamp= ContentStamps.get(fFile, true);			}		}