@InvisibleQualifier @SubtypeOf(value={}) @DefaultQualifierInHierarchy @Target(value={}) public @interface UnknownFormat
This annotation may not be written in source code; it is an implementation detail of the checker.