checker/tests/nullness-extra/package-anno/test/package-info.java

@DefaultQualifier(Nullable.class)
package test;

import org.checkerframework.checker.nullness.qual.Nullable;
import org.checkerframework.framework.qual.DefaultQualifier;