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

[serguei.spitsyn at oracle.com]

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
>>