public main.Messages.SpecExecutionEndingRequest buildPartial() {
        main.Messages.SpecExecutionEndingRequest result = new main.Messages.SpecExecutionEndingRequest(this);
        int from_bitField0_ = bitField0_;
        int to_bitField0_ = 0;
        if (((from_bitField0_ & 0x00000001) == 0x00000001)) {
          to_bitField0_ |= 0x00000001;
        }
        result.specName_ = specName_;
        if (((from_bitField0_ & 0x00000002) == 0x00000002)) {
          to_bitField0_ |= 0x00000002;
        }
        result.specFile_ = specFile_;
        result.bitField0_ = to_bitField0_;
        onBuilt();
        return result;
      }