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 qui

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.