public Builder mergeFrom(main.Messages.ExecutionEndingRequest other) {
        if (other == main.Messages.ExecutionEndingRequest.getDefaultInstance()) return this;
        this.mergeUnknownFields(other.getUnknownFields());
        return this;
      }