uninstall();
oldInput.removeDocumentListener(this);
		public void inputDocumentAboutToBeChanged(IDocument oldInput, IDocument newInput) {			if (oldInput == null)				return;			deactivate();			uninstall();		}