WorkbenchProperties.SelectionServiceListener ignores arguments given to
selectionChanged() when delegating to
NativePropertyListener.fireChanged()