--- old/src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/Resources.java	2019-10-30 16:24:01.579748049 -0700
+++ new/src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/Resources.java	2019-10-30 16:24:01.203748062 -0700
@@ -49,6 +49,7 @@
     public final String exceptionSummary;
     public final String interfaceSummary;
     public final String packageSummary;
+    public final String recordSummary;
 
     protected ResourceBundle commonBundle;
     protected ResourceBundle docletBundle;
@@ -76,6 +77,7 @@
         this.exceptionSummary = getText("doclet.Exception_Summary");
         this.interfaceSummary = getText("doclet.Interface_Summary");
         this.packageSummary = getText("doclet.Package_Summary");
+        this.recordSummary = getText("doclet.Record_Summary");
     }
 
     /**