I20260513-1800
React to change from https://github.com/eclipse-jdt/eclipse.jdt.core/pull/5054 Fixes https://github.com/eclipse-jdt/eclipse.jdt.ui/issues/2982
React to change from https://github.com/eclipse-jdt/eclipse.jdt.core/pull/5054 Fixes https://github.com/eclipse-jdt/eclipse.jdt.ui/issues/2982