public void writeDefaultValueInfo(MemberDoc member) {
        writer.dl();
        writer.dt();
        writer.bold(ConfigurationImpl.getInstance().
            getText("doclet.Default"));
        writer.dd();
        writer.print(((AnnotationTypeElementDoc) member).defaultValue());
        writer.ddEnd();
        writer.dlEnd();
    }