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