public Builder mergeFrom(JInPiqi.handle_user_leave other) {
        if (other == JInPiqi.handle_user_leave.getDefaultInstance()) return this;
        if (other.hasUserid()) {
          setUserid(other.getUserid());
        }
        if (other.hasState()) {
          setState(other.getState());
        }
        this.mergeUnknownFields(other.getUnknownFields());
        return this;
      }