I20250722-1800
Remove guess work from https://bugs.eclipse.org/405706 and https://bugs.eclipse.org/413958 from the time of 1.7, which seems obsolete in 1.8+ Fixes https://github.com/eclipse-jdt/eclipse.jdt.core/issues/4235
Remove guess work from https://bugs.eclipse.org/405706 and https://bugs.eclipse.org/413958 from the time of 1.7, which seems obsolete in 1.8+ Fixes https://github.com/eclipse-jdt/eclipse.jdt.core/issues/4235