docs: public void reload() {
  
          if (m_handler != null) {
              String uri = Window.Location.getHref();
              m_handler.leavePage(uri);
          } else {
              Window.Location.reload();
          }
      }