if (sourceViewer == null) return;  sourceViewer.removeTextInputListener(this);  IDocument document= sourceViewer.getDocument(); if (document != null) document.removeDocumentListener(this);
if (sourceViewer != null) sourceViewer.removeTextInputListener(this);  IDocumentProvider documentProvider= getDocumentProvider(); if (documentProvider != null) { IDocument document= documentProvider.getDocument(getEditorInput()); if (document != null) document.removeDocumentListener(this); }
		public void uninstall() {			if (fColor != null) {				fColor.dispose();				fColor= null;			}						if (fCursor != null) {				fCursor.dispose();				fCursor= null;			}						ISourceViewer sourceViewer= getSourceViewer();			if (sourceViewer == null)				return;							sourceViewer.removeTextInputListener(this);			IDocument document= sourceViewer.getDocument();			if (document != null)				document.removeDocumentListener(this);							IPreferenceStore preferenceStore= getPreferenceStore();			if (preferenceStore != null)				preferenceStore.removePropertyChangeListener(this);						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);						((ITextViewerExtension4)sourceViewer).removeTextPresentationListener(this);		}