I20251113-0840
New warnings were reported since https://github.com/eclipse-jdt/eclipse.jdt.core/issues/4579
+ escalate one deprecation to "forRemoval" as the method can no longer exist when the terminally deprecated class DefaultPartitioner is removed
+ add @SuppressWarnings("forRemoval")
See https://github.com/eclipse-jdt/eclipse.jdt.ui/pull/2632