git: openjdk/mobile: 8235360: Update JDWP, JDI and Instrumentation specs for Record attribute

[duke]

Changeset: 73676cff
Author:    Harold Seigel <hseigel at openjdk.org>
Date:      2019-12-05 15:45:58 +0000
URL:       https://git.openjdk.java.net/mobile/commit/73676cff

8235360: Update JDWP, JDI and Instrumentation specs for Record attribute

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