src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/builders/PropertyBuilder.java

*** 120,137 ****
      protected void buildPropertyDoc(Content memberDetailsTree) throws DocletException {
          if (writer == null) {
              return;
          }
          if (hasMembersToDocument()) {
!             Content propertyDetailsTreeHeader = writer.getPropertyDetailsTreeHeader(typeElement,
!                     memberDetailsTree);
              Content propertyDetailsTree = writer.getMemberTreeHeader();
  
              for (Element property : properties) {
                  currentProperty = (ExecutableElement)property;
!                 Content propertyDocTree = writer.getPropertyDocTreeHeader(currentProperty,
!                         propertyDetailsTree);
  
                  buildSignature(propertyDocTree);
                  buildPropertyComments(propertyDocTree);
                  buildTagInfo(propertyDocTree);
  
--- 120,135 ----
      protected void buildPropertyDoc(Content memberDetailsTree) throws DocletException {
          if (writer == null) {
              return;
          }
          if (hasMembersToDocument()) {
!             Content propertyDetailsTreeHeader = writer.getPropertyDetailsTreeHeader(memberDetailsTree);
              Content propertyDetailsTree = writer.getMemberTreeHeader();
  
              for (Element property : properties) {
                  currentProperty = (ExecutableElement)property;
!                 Content propertyDocTree = writer.getPropertyDocTreeHeader(currentProperty);
  
                  buildSignature(propertyDocTree);
                  buildPropertyComments(propertyDocTree);
                  buildTagInfo(propertyDocTree);