Migrate from SubProgressMonitor to SubMonitor#2273

Draft

vogella wants to merge 2 commits into

eclipse-platform:masterfrom

vogella:claude/migrate-subprogressmonitor-01UEwgLsypZVZydytQGymnBM

GitHub Advanced Security / CodeQL succeeded Nov 14, 2025 in 2s

No new alerts in code changed by this pull request

View all branch alerts.