It looks like you're new here. If you want to get involved, click one of these buttons!
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