Add javadoc warning about order invariant