[records] Spec for next version of Record Classes JEP

[Gavin Bierman]

Following the announcement of JEP 395 [1] the latest version of the spec is now available at:

http://cr.openjdk.java.net/~gbierman/jep395/latest/

This covers the various bugs in an earlier draft that have been reported on this list. As per my earlier email this spec does not treat a non-propagating annotation in the case where an explicit accessor method has been declared as a compile-time error. I still think this is a better design, but if anyone feels strongly, please email the list!

Thanks,
Gavin

[1] https://openjdk.java.net/jeps/395