code: protected void addConfigurationTitle(Content body) {
          if (configuration.doctitle.length() > 0) {
              Content title = new RawHtml(configuration.doctitle);
              Content heading = HtmlTree.HEADING(HtmlConstants.TITLE_HEADING,
                      HtmlStyle.title, title);
              Content div = HtmlTree.DIV(HtmlStyle.header, heading);
              body.addContent(div);
          }
      }
docs: Adds the doctitle to the documentation tree, if it is specified on the command line.
  
  @param body the document tree to which the title will be added