Java should ensure order. Isn't that correct?