internal void Preempt () { Log.Debug ("Preemptd", Title); Pause (false); }
void PreemptJob(Job job) { job.Preempt(); }