public annotation interface  org.checkerframework.framework.qual.DefaultQualifier extends java.lang.Object implements java.lang.'annotation'.Annotation
{
public abstract java.lang.Class value();
public abstract org.checkerframework.framework.qual.TypeUseLocation[] locations();
}