public void writeAnnotationTypeDeprecationInfo() {
        hr();
        Tag[] deprs = annotationType.tags("deprecated");
        if (Util.isDeprecated(annotationType)) {
            boldText("doclet.Deprecated");
            if (deprs.length > 0) {
                Tag[] commentTags = deprs[0].inlineTags();
                if (commentTags.length > 0) {

                    space();
                    printInlineDeprecatedComment(annotationType, deprs[0]);
                }
            }
            p();
        }
    }