checker/tests/tainting/withdefault/package-info.java

@HasQualifierParameter(Tainted.class)
package withdefault;

import org.checkerframework.checker.tainting.qual.Tainted;
import org.checkerframework.framework.qual.HasQualifierParameter;