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
