JSR 335 Lambda Specification, 0.9.3

[Dan Smith]

An updated specification can be found here:

http://cr.openjdk.java.net/~dlsmith/jsr335-0.9.3/

This addresses a few bugs that were discovered since the Proposed Final Draft.  To avoid confusion, it also aligns the section numbers for Method Reference Expressions (15.13) with the integrated JLS 8 section numbering.

Other links
Diff: http://cr.openjdk.java.net/~dlsmith/jsr335-0.9.3-diff.html
One-page HTML: http://cr.openjdk.java.net/~dlsmith/jsr335-0.9.3.html
Downloadable zip: http://cr.openjdk.java.net/~dlsmith/jsr335-0.9.3.zip

This has been bundled up with the API docs, including a small API correction in Comparator (discussed on lambda-libs-spec-experts), to produce the final specification.  Preview here:

http://cr.openjdk.java.net/~dlsmith/jsr335-final
zip: http://cr.openjdk.java.net/~dlsmith/jsr335-final.zip

This will be submitted for publishing via the JCP page.

Full change log, from the document:

> Method References: Renumbered the Method Reference Expressions section 15.13 (to make room, the JLS 7 15.13 will be merged with a previous section).
> 
> Typing and Evaluation: Added changes to 6.6.2 to clarify accessibility of references to protected methods.
> 
> Type Inference: Bug fix for subtyping constraints involving the null type. Added rule to invocation typing for lifting constraints on nested invocation arguments that are lambdas/method references into the enclosing inference context.

—Dan