Final nestmates spec

[Dan Smith]

All fixed, thanks.

> On Dec 5, 2017, at 4:01 PM, Karen Kinnear <Karen.Kinnear at oracle.com> wrote:
> 
> 1. Since we postponed this, and each release will change the ClassFile Version:
>    - the new attributes will be in ClassFile Version 55
>    - If we want to use the new versioning, that would be 18.9 (rather than 11)

I think version name 11 is the consensus now?

> 3. 5.4.2. Preparation:
> 2nd changed paragraph - 
> The loader constraint equation below compares types relative to L2 (which is the class loader for the selected method) vs. L3. I do not see L3 defined here.
> I believe that <I, L3> is intended to be the super interface which declares the method in the first part of the sentence.

Markdown anomaly. Forgot to escape the '<'.

> 6. 5.4.5 “the selected method of the invocation for an instance of a class or interface C”
> For invokeinterface and invoke virtual “C” is always an object ref which must always be a class
> not an interface.

See the last sentence in this section:
"While C will typically be a class, it may be an interface when these rules are applied during preparation"

—Dan