public JInPiqi.handle_user_leaveOrBuilder getHandleUserLeaveOrBuilder() {
        if (handleUserLeaveBuilder_ != null) {
          return handleUserLeaveBuilder_.getMessageOrBuilder();
        } else {
          return handleUserLeave_;
        }
      }