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

[serguei.spitsyn at oracle.com]

Thanks, Harold.
Serguei

On 12/6/19 10:29, Harold Seigel wrote:
> Hi Serguei,
>
> >> Is this new attribute for 14?
>
> No.  15, maybe?
>
> >>Will it also come from Amber?
>
> Yes.
>
> Harold
>
> On 12/6/2019 1:27 PM, serguei.spitsyn at oracle.com wrote:
>> Forgot to ask.
>> Is this new attribute for 14?
>> Will it also come from Amber?
>>
>> Thanks,
>> Serguei
>>
>>
>> On 12/6/19 10:21, serguei.spitsyn at oracle.com wrote:
>>> 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
>>>>>>>
>>>>>
>>>
>>