OpenJDK's Java.utils.Collection.sort() Is Broken: The Good, the Bad and the Worst Case