code: public void addDefaultValueInfo(MemberDoc member, Content annotationDocTree) {
          if (((AnnotationTypeElementDoc) member).defaultValue() != null) {
              Content dt = HtmlTree.DT(writer.getResource("doclet.Default"));
              Content dl = HtmlTree.DL(dt);
              Content dd = HtmlTree.DD(new StringContent(
                      ((AnnotationTypeElementDoc) member).defaultValue().toString()));
              dl.addContent(dd);
              annotationDocTree.addContent(dl);
          }
      }
docs: {@inheritDoc}