[sealed-types] Draft Spec for JEP 409 Sealed Types (Final)

[Gavin Bierman]

Dear experts:

Draft of the specs for JEP 409 (Sealed Types) are available at:

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

Comments welcome!

Thanks,
Gavin