public Builder setSpecExecutionEndingRequest(main.Messages.SpecExecutionEndingRequest value) {
        if (specExecutionEndingRequestBuilder_ == null) {
          if (value == null) {
            throw new NullPointerException();
          }
          specExecutionEndingRequest_ = value;
          onChanged();
        } else {
          specExecutionEndingRequestBuilder_.setMessage(value);
        }
        bitField0_ |= 0x00000010;
        return this;
      }