I20241226-1800
tagged this
20 Dec 13:07
tested by JavaSearchScopeTests.testBug250211 https://github.com/eclipse-jdt/eclipse.jdt.core/issues/1269
tested by JavaSearchScopeTests.testBug250211 https://github.com/eclipse-jdt/eclipse.jdt.core/issues/1269