}
				public void selectionChanged(SelectionChangedEvent event) {					ISelection selection= event.getSelection();					if (selection instanceof ITextSelection) {						firePostSelectionChanged((ITextSelection) selection);					}				}