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

[serguei.spitsyn at oracle.com]

Hi Harold,

Okay, thanks!

Thanks,
Serguei


On 12/6/19 05:16, Harold Seigel wrote:
> There will be another unmodifiable attribute with sealed types called 
> PermittedSubtypes.
>
> Harold
>
> On 12/5/2019 7:25 PM, serguei.spitsyn at oracle.com wrote:
>> Hi David,
>>
>> Agreed. I was thinking about the same.
>>
>> Thanks,
>> Serguei
>>
>> On 12/5/19 2:52 PM, David Holmes wrote:
>>> Looks good Harold!
>>>
>>> If we get any more of these unmodifiable attributes we may have to 
>>> look at a way to refer to them more abstractly and only define them 
>>> in one place.
>>>
>>> Thanks,
>>> David
>>>
>>> On 6/12/2019 12:28 am, Harold Seigel wrote:
>>>> Hi,
>>>>
>>>> Please review this trivial change to add documentation about the 
>>>> Record attribute to the JDWP, JDI, and Instrumentation specs.
>>>>
>>>> The changed .html pages (best viewed as 'raw') are included in the 
>>>> webrev but will not be pushed.
>>>>
>>>> Open Webrev: 
>>>> http://cr.openjdk.java.net/~hseigel/bug_8235360/webrev/index.html
>>>>
>>>> JBS Bug: https://bugs.openjdk.java.net/browse/JDK-8235360
>>>>
>>>> The fix was regression tested by running Mach5 tiers 1 and 2 tests 
>>>> and builds on Linux-x64, Solaris, Windows, and Mac OS X.
>>>>
>>>> Thanks, Harold
>>>>
>>