protected static String getHeader() {
        StringBuffer result = new StringBuffer("<HTML>" + DocletConstants.NL);
        result.append("<BODY BGCOLOR=\""+ BGCOLOR + "\">" + DocletConstants.NL);
        result.append("<PRE>" + DocletConstants.NL);
        return result.toString();
    }