As reported by Piotr Findeisen (http://mail.openjdk.java.net/pipermail/core-libs-dev/2017-November/050015.html) Collections.sort specifies the sort must be stable. It defers to List.sort, which only specifies that the default implementation is stable.

We need to update the specification of List.sort.