src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/AnnotationTypeWriterImpl.java

*** 246,251 ****
--- 246,260 ----
       */
      @Override
      public TypeElement getAnnotationTypeElement() {
          return annotationType;
      }
+ 
+     /**
+      * {@inheritDoc}
+      */
+     @Override
+     public Content getMemberDetailsTree(Content contentTree) {
+         return HtmlTree.SECTION(HtmlStyle.details, contentTree)
+                 .setId(SectionName.ANNOTATION_TYPE_ELEMENT_DETAIL.getName());
+     }
  }