Fix Job.schedule() not rescheduling after cancel()#2209
Draft
laeubi wants to merge 2 commits intoeclipse-platform:masterfrom
Draft
Fix Job.schedule() not rescheduling after cancel()#2209laeubi wants to merge 2 commits intoeclipse-platform:masterfrom
laeubi wants to merge 2 commits intoeclipse-platform:masterfrom