public JInPiqi.handle_timerOrBuilder getHandleTimerOrBuilder() {
        if (handleTimerBuilder_ != null) {
          return handleTimerBuilder_.getMessageOrBuilder();
        } else {
          return handleTimer_;
        }
      }