code: protected void generateDeprecatedListFile(DeprecatedAPIListBuilder deprapi)
              throws IOException {
          HtmlTree body = getHeader();
          HtmlTree htmlTree = (configuration.allowTag(HtmlTag.MAIN))
                  ? HtmlTree.MAIN()
                  : body;
          htmlTree.addContent(getContentsList(deprapi));
          String memberTableSummary;
          String[] memberTableHeader = new String[1];
          HtmlTree div = new HtmlTree(HtmlTag.DIV);
          div.addStyle(HtmlStyle.contentContainer);
          for (int i = 0; i < DeprecatedAPIListBuilder.NUM_TYPES; i++) {
              if (deprapi.hasDocumentation(i)) {
                  addAnchor(deprapi, i, div);
                  memberTableSummary =
                          configuration.getText("doclet.Member_Table_Summary",
                          configuration.getText(HEADING_KEYS[i]),
                          configuration.getText(SUMMARY_KEYS[i]));
                  memberTableHeader[0] = configuration.getText("doclet.0_and_1",
                          configuration.getText(HEADER_KEYS[i]),
                          configuration.getText("doclet.Description"));
                  // DeprecatedAPIListBuilder.PACKAGE == 0, so if i == 0, it is
                  // a PackageDoc.
                  if (i == DeprecatedAPIListBuilder.PACKAGE)
                      addPackageDeprecatedAPI(deprapi.getList(i),
                              HEADING_KEYS[i], memberTableSummary, memberTableHeader, div);
                  else
                      writers[i - 1].addDeprecatedAPI(deprapi.getList(i),
                              HEADING_KEYS[i], memberTableSummary, memberTableHeader, div);
              }
          }
          if (configuration.allowTag(HtmlTag.MAIN)) {
              htmlTree.addContent(div);
              body.addContent(htmlTree);
          } else {
              body.addContent(div);
          }
          htmlTree = (configuration.allowTag(HtmlTag.FOOTER))
                  ? HtmlTree.FOOTER()
                  : body;
          addNavLinks(false, htmlTree);
          addBottom(htmlTree);
          if (configuration.allowTag(HtmlTag.FOOTER)) {
              body.addContent(htmlTree);
          }
          printHtmlDocument(null, true, body);
      }
docs: Generate the deprecated API list.
  
  @param deprapi list of deprecated API built already.