code: private void setPathInfo(String path) {
  
          m_infoPath.setValue(path);
  
          // generate the path bread crumb
          m_crumbs.removeAllComponents();
          int i = path.indexOf("/");
          String openPath = "";
          while (i >= 0) {
              String fragment = path.substring(0, i + 1);
              openPath += fragment;
              path = path.substring(i + 1);
              i = path.indexOf("/");
              Button crumb = new Button(fragment, m_crumbListener);
              crumb.setData(openPath);
              crumb.addStyleName(ValoTheme.BUTTON_LINK);
              m_crumbs.addComponent(crumb);
          }
      }
docs: Sets the current path info.<p>
  
  @param path the path