--- old/src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/AnnotationTypeFieldWriter.java	2020-01-07 15:24:24.000000000 +0100
+++ new/src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/AnnotationTypeFieldWriter.java	2020-01-07 15:24:23.000000000 +0100
@@ -56,18 +56,17 @@
     /**
      * Add the annotation type details tree header.
      *
-     * @param typeElement the annotation type being documented
+     * @return content tree for the annotation details header
      */
-    Content getAnnotationDetailsTreeHeader(TypeElement typeElement);
+    Content getAnnotationDetailsTreeHeader();
 
     /**
      * Get the annotation type documentation tree header.
      *
      * @param member the annotation type being documented
-     * @param annotationDetailsTree the content tree representing annotation type details
      * @return content tree for the annotation type documentation header
      */
-    Content getAnnotationDocTreeHeader(Element member, Content annotationDetailsTree);
+    Content getAnnotationDocTreeHeader(Element member);
 
     /**
      * Get the annotation type details tree.