@TypeQualifier @SubtypeOf(value=GuardedBy.class) @DefaultQualifierInHierarchy @Documented @Target(value={}) @Retention(value=RUNTIME) public @interface GuardedByBottom
This annotation may not be written in source code; it is an implementation detail of the checker.