docs: public void selectTab() {
          for (Widget child : getChildren()) {
              if (child instanceof HasHref) {
                  String href = ((HasHref) child).getHref();
                  if (parent != null && !href.isEmpty()) {
                      parent.selectTab(href.replaceAll("[^a-zA-Z\\d\\s:]", ""));
                      parent.reload();
                      break;
                  }
              }
          }
      }