public Builder mergeFrom(JOutPiqi.timer other) {
        if (other == JOutPiqi.timer.getDefaultInstance()) return this;
        if (other.hasId()) {
          setId(other.getId());
        }
        if (other.hasDuration()) {
          setDuration(other.getDuration());
        }
        if (other.hasRepeats()) {
          setRepeats(other.getRepeats());
        }
        this.mergeUnknownFields(other.getUnknownFields());
        return this;
      }