Nestmates spec updates

[John Rose]

These look good.  The changes for clarity greatly improve
the spec.  I'm glad we're leaving it better than we found it,
in this case.  Though it took longer to polish the spec. than
just hacking in the new attributes, it was well worth the effort,
especially to clarify and simplify the troublesome invokespecial
instruction.

The nestmate specification per se (JVMS 5.4.4) appears to
be unchanged since the last time we discussed it.

I think these spec. changes are ready for prime time.

— John

On May 2, 2018, at 1:10 PM, Dan Smith <daniel.smith at oracle.com> wrote:
> 
> FYI, as the JVMS changes for nestmates have moved forward toward integration with the official JVMS, there were some substantial updates to improve presentation. For clarity and transparency, I've updated the document that appears in my CR space, along with those attached to JBS issues, to reflect these changes.
> 
> http://cr.openjdk.java.net/~dlsmith/nestmates.html
> 
> We also concluded that we should not touch JLS 13.1 in the JLS updates. Revised document:
> 
> http://cr.openjdk.java.net/~dlsmith/nestmates-jls.html
> 
> —Dan