public annotation interface  org.checkerframework.checker.optional.qual.OptionalBottom extends java.lang.Object implements java.lang.'annotation'.Annotation
{
}