@UIPackage
package packagetests;

// This must come *AFTER* the package name, oddly enough.

import org.checkerframework.checker.guieffect.qual.UIPackage;