sourceViewer.removeTextInputListener(this);  IDocument document= sourceViewer.getDocument(); if (document != null) document.removeDocumentListener(this);
		public void uninstall() {			ISourceViewer sourceViewer= getSourceViewer();			if (sourceViewer == null)				return;							StyledText text= sourceViewer.getTextWidget();			if (text == null || text.isDisposed())				return;							text.removeKeyListener(this);			text.removeMouseListener(this);			text.removeMouseMoveListener(this);			text.removeFocusListener(this);			text.removePaintListener(this);						IPreferenceStore preferenceStore= getPreferenceStore();			preferenceStore.removePropertyChangeListener(this);						if (fColor != null) {				fColor.dispose();				fColor= null;			}							if (fCursor != null) {				fCursor.dispose();				fCursor= null;			}						}