Fix race condition in WorkManager causing "endRule without matching beginRule" errors#25

Copilot wants to merge 3 commits intomasterlaeubi/eclipse.platform:masterfrom

copilot/analyze-bug-report-2242laeubi/eclipse.platform:copilot/analyze-bug-report-2242Copy head branch name to clipboard