It looks like you're new here. Sign in or register to get started.
This sort is guaranteed to be stable: equal elements will not be reordered as a result of the sort.
Answers
the sort operator uses the Collections.sort() method from Java. From the Java API it says: So yes, the sorting is stable.
Best,
Nils