Y20240703-1000
As noted on PR #1277, the code looks weird and I can't explain what I smoke while writing it. Fixed the code to do what actually was meant. This is mostly paranoia code, as usually input.getName() is not null. See https://github.com/eclipse-platform/eclipse.platform/pull/1277 See https://github.com/eclipse-platform/eclipse.platform.ui/issues/1747