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

rev 58344 : records implementation

*** 153,162 ****
--- 153,163 ----
      public final Content packagesLabel;
      public final Content properties;
      public final Content propertyLabel;
      public final Content propertyDetailsLabel;
      public final Content propertySummaryLabel;
+     public final Content record;
      public final Content seeLabel;
      public final Content serializedForm;
      public final Content servicesLabel;
      public final Content specifiedByLabel;
      public final Content subclassesLabel;
*** 280,289 ****
--- 281,291 ----
          packagesLabel = getContent("doclet.Packages");
          properties = getContent("doclet.Properties");
          propertyLabel = getContent("doclet.Property");
          propertyDetailsLabel = getContent("doclet.Property_Detail");
          propertySummaryLabel = getContent("doclet.Property_Summary");
+         record = getContent("doclet.Record");
          seeLabel = getContent("doclet.See");
          serializedForm = getContent("doclet.Serialized_Form");
          servicesLabel = getContent("doclet.Services");
          specifiedByLabel = getContent("doclet.Specified_By");
          subclassesLabel = getContent("doclet.Subclasses");