code: public void printFramesDocument(String title, ConfigurationImpl configuration,
              HtmlTree body) throws IOException {
          Content htmlDocType = configuration.isOutputHtml5()
                  ? DocType.HTML5
                  : DocType.TRANSITIONAL;
          Content htmlComment = new Comment(configuration.getText("doclet.New_Page"));
          Content head = new HtmlTree(HtmlTag.HEAD);
          head.addContent(getGeneratedBy(!configuration.notimestamp));
          Content windowTitle = HtmlTree.TITLE(new StringContent(title));
          head.addContent(windowTitle);
          Content meta = HtmlTree.META("Content-Type", CONTENT_TYPE,
                  (configuration.charset.length() > 0) ?
                          configuration.charset : HtmlConstants.HTML_DEFAULT_CHARSET);
          head.addContent(meta);
          head.addContent(getStyleSheetProperties(configuration));
          head.addContent(getFramesJavaScript());
          Content htmlTree = HtmlTree.HTML(configuration.getLocale().getLanguage(),
                  head, body);
          Content htmlDocument = new HtmlDocument(htmlDocType,
                  htmlComment, htmlTree);
          write(htmlDocument);
      }
docs: Print the frames version of the Html file header.
  Called only when generating an HTML frames file.
  
  @param title Title of this HTML document
  @param configuration the configuration object
  @param body the body content tree to be added to the HTML document