Fix Job.schedule() not rescheduling after cancel() when called on running job#22

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

copilot/analyze-issue-160-propose-fixlaeubi/eclipse.platform:copilot/analyze-issue-160-propose-fixCopy head branch name to clipboard