Scheduler correctness improvements.
Removed unused interface
Merge pull request #1158 from akarnokd/SchedulerFixes0506

Scheduler correctness improvements.