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

// This checks that fully-qualified class literals in annotations are properly handled by the AnnotationFileParser.
@DefaultQualifier(org.checkerframework.checker.nullness.qual.NonNull.class)
package java.lang;

// This checks that simply-named class literals in annotations are properly handled by the AnnotationFileParser.
@DefaultQualifier(Nullable.class)
package java.util;