JDK 8 code review request for JDK-8025913 - Rename jdk.Supported to jdk.Exported

[mark.reinhold at oracle.com]

2013/10/3 16:43 -0700, joe.darcy at oracle.com:
> Per previous discussions on the mailing list, we've decided to rename 
> the annotation type "jdk.Supported" to "jdk.Exported".
> 
> ...

Looks good to me.

One question, though: Is it intended that one use of this annotation
can be overridden by another at a deeper lexical level?  For example:

    @Supported
    public class X {

        @Supported(false)
        public static class Y {
        }

    }

Equivalently, imagine @Supported in a package-info.java file and
@Supported(false) on a type within that package.

If so then it'd be helpful to mention this possibility in the
specification.

- Mark