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