wyclipse.ui: not sure anything actually changed.