JSR 335 Lambda Specification, 0.7.0

[Dan Smith]

An updated specification can be found here:

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

This is being submitted as the JLS/JVMS portion of the JSR 335 Public Review.  There are just a few bug fixes since 0.6.3.

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

Full change log, from the document:

> Typing and Evaluation: Added a paragraph for the Java Object Serialization Specification. Cleaned up presentation of method reference resolution logic.
> 
> Overload Resolution: Ensured that, in most-specific testing, all varargs parameter types are considered, even when there are 0 varargs arguments.
> 
> Type Inference: Provided full rules for "more specific method" inference. Backed off of approach to unchecked conversion inference, and specified when unchecked conversions are allowed by reduction. In resolution, adjusted to perform lub only on proper types.
> 
> Default Methods: Added a discussion about binary compatibility to Chapter 13.
> 
> Java Virtual Machine: Fixed text in method resolution to properly ignore static and private methods in superinterfaces.

—Dan