To play the fun game of charitability, that engineer could have been talking about sort stability. Which could technically violate the property you want.

A quick search however does say that Java's .sort() is stable.