public Builder mergeFrom(JOutPiqi.result other) {
        if (other == JOutPiqi.result.getDefaultInstance()) return this;
        if (other.hasOk()) {
          setOk(other.getOk());
        }
        if (other.hasStop()) {
          setStop(other.getStop());
        }
        this.mergeUnknownFields(other.getUnknownFields());
        return this;
      }