Stream.sorted() は「安定した(stable)」ソートであることが保証されているか。

Java 8のStream.sortedは、等しい要素の相対的な順序が維持される安定ソートとして実装されている。