While the original specification of JSR 269 implies that javax.lang.model.TypeElement.getEnclosedElements needs to return elements in proper order, source order if the information originates from a source file, etc., that requirement is not stated explicitly.

Stating this requirement explicitly would improve the documentation.