--- old/src/java.base/share/classes/java/lang/Class.java	2020-01-09 10:58:53.311010487 -0800
+++ new/src/java.base/share/classes/java/lang/Class.java	2020-01-09 10:58:53.122916487 -0800
@@ -90,7 +90,7 @@
 
 /**
  * Instances of the class {@code Class} represent classes and interfaces
- * in a running Java application. An enum type is a kind of class and an
+ * in a running Java application. An enum type and a record type are kinds of class; an
  * annotation type is a kind of interface. Every array also
  * belongs to a class that is reflected as a {@code Class} object
  * that is shared by all arrays with the same element type and number
--- old/src/java.base/share/classes/java/lang/annotation/ElementType.java	2020-01-09 10:58:53.719214486 -0800
+++ new/src/java.base/share/classes/java/lang/annotation/ElementType.java	2020-01-09 10:58:53.543126487 -0800
@@ -71,7 +71,7 @@
  * @jls 4.1 The Kinds of Types and Values
  */
 public enum ElementType {
-    /** Class, interface (including annotation type), or enum declaration */
+    /** Class, interface (including annotation type), enum, or record declaration */
     TYPE,
 
     /** Field declaration (includes enum constants) */