I think you are right if we can guarantee a deterministic ordering in member.getAnnotations()