if (partListener != null) { partListener.firePostSelectionChanged(selection);
ISelection selection= selectionProvider.getSelection();  if (partListener != null && selection instanceof ITextSelection) { partListener.firePostSelectionChanged((ITextSelection)selection);
	public void forceSelectionChange(ITextEditor part, ITextSelection selection) {		synchronized (this) {			PartListenerGroup partListener= (PartListenerGroup) fListenerGroups.get(part);			if (partListener != null) {				partListener.firePostSelectionChanged(selection);			}		}	}}