public Builder mergeFrom(main.Messages.SpecExecutionStartingRequest other) {
        if (other == main.Messages.SpecExecutionStartingRequest.getDefaultInstance()) return this;
        if (other.hasSpecName()) {
          bitField0_ |= 0x00000001;
          specName_ = other.specName_;
          onChanged();
        }
        if (other.hasSpecFile()) {
          bitField0_ |= 0x00000002;
          specFile_ = other.specFile_;
          onChanged();
        }
        this.mergeUnknownFields(other.getUnknownFields());
        return this;
      }