Annotation Interface UIPackage


@Documented @Retention(RUNTIME) @Target(PACKAGE) public @interface UIPackage
Package annotation to make all classes within a package @UIType.
See the Checker Framework Manual:
GUI Effect Checker