There is a lot of code to handle equal JobTreeElement, but JobInfo did
not implement equals().
Since the JobInfo is now reliable avoided to be added each time to the
bottom, the sort order has to be maintained also on remove.