Properties copy-paste
Bug #9238: DecoratingLabelProviders were modifying the order of the
items in the navigator.