public annotation interface  org.jvnet.hk.annotations.ContractsProvided extends java.lang.Object implements java.lang.'annotation'.Annotation
{
public abstract java.lang.Class[] value();
}