fDocumentListener= null;
	public void dispose() {		if (fFileBufferListener != null) {			FileBuffers.getTextFileBufferManager().removeFileBufferListener(fFileBufferListener);		}		if (fDocumentListener != null) {			getDocument().removeDocumentListener(fDocumentListener);		}	}