Bug in sorting of floating tasks and deadline tasks. Edited