/** {@inheritDoc} */
 public void addAnnotationTypeDeprecationInfo(Content annotationInfoTree) {
   Content hr = new HtmlTree(HtmlTag.HR);
   annotationInfoTree.addContent(hr);
   Tag[] deprs = annotationType.tags("deprecated");
   if (Util.isDeprecated(annotationType)) {
     Content deprLabel = HtmlTree.SPAN(HtmlStyle.deprecatedLabel, deprecatedPhrase);
     Content div = HtmlTree.DIV(HtmlStyle.block, deprLabel);
     if (deprs.length > 0) {
       Tag[] commentTags = deprs[0].inlineTags();
       if (commentTags.length > 0) {
         div.addContent(getSpace());
         addInlineDeprecatedComment(annotationType, deprs[0], div);
       }
     }
     annotationInfoTree.addContent(div);
   }
 }