public Builder mergeFrom(JInPiqi.handle_timer other) {
        if (other == JInPiqi.handle_timer.getDefaultInstance()) return this;
        if (other.hasId()) {
          setId(other.getId());
        }
        if (other.hasDelta()) {
          setDelta(other.getDelta());
        }
        if (other.hasState()) {
          setState(other.getState());
        }
        this.mergeUnknownFields(other.getUnknownFields());
        return this;
      }