Retroactive CSR review request(XS): 8246811: Update JDWP, JDI and Instrumentation specs for Record attribute

[serguei.spit...@oracle.com]

Please, review a retroactive CSR for fix integrated to 14:
  https://bugs.openjdk.java.net/browse/JDK-8235360

CSR:
  https://bugs.openjdk.java.net/browse/JDK-8246811


Summary:
  It is formal public request.
  The CSR was already reviewed by Harold but other reviews are welcome.
  The update is to add a clarification to the JDI, JDWP and Instrumentation
  specs that introduced in JDK 14 class file attribute Record can not be
  changed in a class redefinition or retransformation.

Thanks,
Serguei