code: public void printFramesetDocument(String title, boolean noTimeStamp,
              Content frameset) throws IOException {
          Content htmlDocType = DocType.FRAMESET;
          Content htmlComment = new Comment(configuration.getText("doclet.New_Page"));
          Content head = new HtmlTree(HtmlTag.HEAD);
          head.addContent(getGeneratedBy(!noTimeStamp));
          if (configuration.charset.length() > 0) {
              Content meta = HtmlTree.META("Content-Type", CONTENT_TYPE,
                      configuration.charset);
              head.addContent(meta);
          }
          Content windowTitle = HtmlTree.TITLE(new StringContent(title));
          head.addContent(windowTitle);
          head.addContent(getFramesetJavaScript());
          Content htmlTree = HtmlTree.HTML(configuration.getLocale().getLanguage(),
                  head, frameset);
          Content htmlDocument = new HtmlDocument(htmlDocType,
                  htmlComment, htmlTree);
          write(htmlDocument);
      }
docs: Print the frameset version of the Html file header.
  Called only when generating an HTML frameset file.
  
  @param title Title of this HTML document
  @param noTimeStamp If true, don't print time stamp in header
  @param frameset the frameset to be added to the HTML document