--- old/src/jdk.jdi/share/classes/com/sun/jdi/VirtualMachine.java	2019-12-05 14:11:27.783373840 +0000
+++ new/src/jdk.jdi/share/classes/com/sun/jdi/VirtualMachine.java	2019-12-05 14:11:26.966643698 +0000
@@ -223,7 +223,7 @@
      *   <LI>deleting a method
      *   <LI>changing class modifiers
      *   <LI>changing method modifiers
-     *   <LI>changing the {@code NestHost} or {@code NestMembers} class attributes
+     *   <LI>changing the {@code NestHost}, {@code NestMembers}, or {@code Record} class attributes
      *   </UL>
      * </UL>
      *