checker/tests/guieffect/packagetests/package-info.java

@UIPackage
package packagetests;

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

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