fSourceViewer.removeTextInputListener(this); if (fDocument != null) { stop(fDocument); fDocument= null; }
uninstall(fDocument);
			public void dispose() {				fSourceViewer.removeTextInputListener(this);				if (fDocument != null) {					stop(fDocument);					fDocument= null;				}			}