if (this.envelopBuilder_ == null) {
                result.envelop_ = this.envelop_;
            } else {
                result.envelop_ = this.envelopBuilder_.build();
            }