hg: jdk/sandbox: 8235360: Update JDWP, JDI and Instrumentation specs for Record attribute

[chris.hegarty at oracle.com]

Changeset: 0a94d3675782
Author:    hseigel
Date:      2019-12-05 15:45 +0000
URL:       https://hg.openjdk.java.net/jdk/sandbox/rev/0a94d3675782

8235360: Update JDWP, JDI and Instrumentation specs for Record attribute
Summary: Add Record to list of attributes that class redefinition cannot change
Reviewed-by: lfoltan

! make/data/jdwp/jdwp.spec
! src/java.instrument/share/classes/java/lang/instrument/Instrumentation.java
! src/jdk.jdi/share/classes/com/sun/jdi/VirtualMachine.java