public void writeHeader() {
        printHtmlHeader(configuration.getText("doclet.Constants_Summary"),
            null, true);
        printTop();
        navLinks(true);
        hr();

        center();
        h1(); printText("doclet.Constants_Summary"); h1End();
        centerEnd();

        hr(4, "noshade");
    }