public Builder mergeFrom(com.google.protobuf.Message other) {
        if (other instanceof main.Messages.SpecExecutionEndingRequest) {
          return mergeFrom((main.Messages.SpecExecutionEndingRequest)other);
        } else {
          super.mergeFrom(other);
          return this;
        }
      }