public Builder mergeSpecExecutionEndingRequest(main.Messages.SpecExecutionEndingRequest value) {
        if (specExecutionEndingRequestBuilder_ == null) {
          if (((bitField0_ & 0x00000010) == 0x00000010) &&
              specExecutionEndingRequest_ != main.Messages.SpecExecutionEndingRequest.getDefaultInstance()) {
            specExecutionEndingRequest_ =
              main.Messages.SpecExecutionEndingRequest.newBuilder(specExecutionEndingRequest_).mergeFrom(value).buildPartial();
          } else {
            specExecutionEndingRequest_ = value;
          }
          onChanged();
        } else {
          specExecutionEndingRequestBuilder_.mergeFrom(value);
        }
        bitField0_ |= 0x00000010;
        return this;
      }