code: public static HtmlTree HEADER() {
          HtmlTree htmltree = new HtmlTree(HtmlTag.HEADER);
          htmltree.setRole(Role.BANNER);
          return htmltree;
      }
docs: Generates a HEADER tag with role attribute.
  
  @return an HtmlTree object for the HEADER tag