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