Prior to this commit, it was not clear that OrderComparator sorts PriorityOrdered objects with higher priority than plain Ordered objects.
Prior to this commit, it was not clear that OrderComparator sorts PriorityOrdered objects with higher priority than plain Ordered objects.