package-info.java

@UIPackage
package packagetests;

// This must come *AFTER* the package name, oddly enough.
import org.checkerframework.checker.guieffect.qual.UIPackage;