fixed bug in the MarathonScheduler that led to launched tasks not being ...

...removed from the queue. Type safety would have been nice here ;-)
Hm, indeed.