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

[David Holmes]

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
>