Y20230720-1000
When trying to rename a resource in Project Explorer there is no check whether the current selection is empty. This is probably some race condition and occurs rarely. This change adds a missing security check. Fixes https://github.com/eclipse-platform/eclipse.platform.ui/issues/460