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

*** 23,39 ****
   * questions.
   */
  
  package jdk.javadoc.internal.doclets.formats.html;
  
- import java.util.Arrays;
- import java.util.List;
  
  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.markup.HtmlConstants;
  import jdk.javadoc.internal.doclets.formats.html.markup.HtmlStyle;
  import jdk.javadoc.internal.doclets.formats.html.markup.HtmlTag;
  import jdk.javadoc.internal.doclets.formats.html.markup.HtmlTree;
  import jdk.javadoc.internal.doclets.formats.html.markup.StringContent;
--- 23,38 ----
   * questions.
   */
  
  package jdk.javadoc.internal.doclets.formats.html;
  
  
  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.HtmlStyle;
  import jdk.javadoc.internal.doclets.formats.html.markup.HtmlTag;
  import jdk.javadoc.internal.doclets.formats.html.markup.HtmlTree;
  import jdk.javadoc.internal.doclets.formats.html.markup.StringContent;
*** 64,75 ****
  
      /**
       * {@inheritDoc}
       */
      @Override
!     public Content getMemberSummaryHeader(TypeElement typeElement,
!             Content memberSummaryTree) {
          memberSummaryTree.addContent(HtmlConstants.START_OF_PROPERTY_SUMMARY);
          Content memberTree = writer.getMemberTreeHeader();
          writer.addSummaryHeader(this, typeElement, memberTree);
          return memberTree;
      }
--- 63,73 ----
  
      /**
       * {@inheritDoc}
       */
      @Override
!     public Content getMemberSummaryHeader(TypeElement typeElement, Content memberSummaryTree) {
          memberSummaryTree.addContent(HtmlConstants.START_OF_PROPERTY_SUMMARY);
          Content memberTree = writer.getMemberTreeHeader();
          writer.addSummaryHeader(this, typeElement, memberTree);
          return memberTree;
      }
*** 80,89 ****
--- 78,88 ----
      }
  
      /**
       * {@inheritDoc}
       */
+     @Override
      public void addMemberTree(Content memberSummaryTree, Content memberTree) {
          writer.addMemberTree(memberSummaryTree, memberTree);
      }
  
      /**
*** 235,248 ****
  
      /**
       * {@inheritDoc}
       */
      @Override
!     public List<String> getSummaryTableHeader(Element member) {
!         List<String> header = Arrays.asList(resources.getText("doclet.Type"),
!                 resources.getText("doclet.Property"), resources.getText("doclet.Description"));
!         return header;
      }
  
      /**
       * {@inheritDoc}
       */
--- 234,246 ----
  
      /**
       * {@inheritDoc}
       */
      @Override
!     public TableHeader getSummaryTableHeader(Element member) {
!         return new TableHeader(contents.typeLabel, contents.propertyLabel,
!                 contents.descriptionLabel);
      }
  
      /**
       * {@inheritDoc}
       */