--- old/src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/PackageSummaryWriter.java	2019-10-30 16:23:59.619748118 -0700
+++ new/src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/PackageSummaryWriter.java	2019-10-30 16:23:59.251748130 -0700
@@ -95,6 +95,15 @@
             Content summaryContentTree);
 
     /**
+     * Adds the table of records to the documentation tree.
+     *
+     * @param records the records to document.
+     * @param summaryContentTree the content tree to which the summaries will be added
+     */
+    public abstract void addRecordSummary(SortedSet<TypeElement> records,
+                                        Content summaryContentTree);
+
+    /**
      * Adds the table of exceptions to the documentation tree.
      *
      * @param exceptions the exceptions to document.