protected void generateDeprecatedListFile(DeprecatedAPIListBuilder deprapi)
             throws IOException {
        writeHeader();

        bold(configuration.getText("doclet.Contents"));
        ul();
        for (int i = 0; i < DeprecatedAPIListBuilder.NUM_TYPES; i++) {
            writeIndexLink(deprapi, i);
        }
        ulEnd();
        println();

        for (int i = 0; i < DeprecatedAPIListBuilder.NUM_TYPES; i++) {
            if (deprapi.hasDocumentation(i)) {
                writeAnchor(deprapi, i);
                writers[i].printDeprecatedAPI(deprapi.getList(i),
                    HEADING_KEYS[i]);
            }
        }
        printDeprecatedFooter();
    }