Summary

Add a clarification to the JDI, JDWP and Instrumentation specs that newly introduced class file attribute Record can not be changed in a class redefinition or retransformation.

Problem

Changing new class file attribute Record must be disallowed in class redefinition or retransformation.

Solution

We have to add necessary clarifications to the JDWP, JDI and Instrumentation specs.

Specification

I. The following changes are needed in the JDWP spec:

• In description of VirtualMachine::RedefineClasses command replace:

  changing the NestHost or NestMembers class attributes

  with:

  changing the NestHost, NestMembers, or Record class attributes

• In the section Error Constants, description of CLASS_ATTRIBUTE_CHANGE_NOT_IMPLEMENTED replace:

  The new class version has a different NestHost or NestMembers class attribute

  with:

  The new class version has a different NestHost, NestMembers, or Record class attribute

II. The following changes are needed in the JDI VirtualMachine::redefineClasses method spec:

• In the section Throws replace:

  changing the NestHost or NestMembers class attributes

  with:

  changing the NestHost, NestMembers, or Record class attributes

III. The following changes are needed in the Instrumentation specs:

• In the methods redefineClasses and retransformClasses description replace:

  must not change the NestHost or NestMembers attributes.

  with:

  must not change the NestHost, NestMembers, or Record class attributes.