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

*** 31,40 ****
--- 31,41 ----
  import javax.lang.model.element.AnnotationValue;
  import javax.lang.model.element.Element;
  import javax.lang.model.element.ExecutableElement;
  import javax.lang.model.element.TypeElement;
  
+ import jdk.javadoc.internal.doclets.formats.html.TableHeader;
  import jdk.javadoc.internal.doclets.formats.html.markup.HtmlConstants;
  import jdk.javadoc.internal.doclets.formats.html.markup.HtmlTree;
  import jdk.javadoc.internal.doclets.formats.html.markup.StringContent;
  import jdk.javadoc.internal.doclets.toolkit.AnnotationTypeOptionalMemberWriter;
  import jdk.javadoc.internal.doclets.toolkit.Content;
*** 129,143 ****
      }
  
      /**
       * {@inheritDoc}
       */
!     public List<String> getSummaryTableHeader(Element member) {
!         List<String> header = Arrays.asList(writer.getModifierTypeHeader(),
!                 resources.getText("doclet.Annotation_Type_Optional_Member"),
!                 resources.getText("doclet.Description"));
!         return header;
      }
  
      /**
       * {@inheritDoc}
       */
--- 130,143 ----
      }
  
      /**
       * {@inheritDoc}
       */
!     @Override
!     public TableHeader getSummaryTableHeader(Element member) {
!         return new TableHeader(contents.modifierAndTypeLabel,
!                 contents.annotationTypeOptionalMemberLabel, contents.descriptionLabel);
      }
  
      /**
       * {@inheritDoc}
       */