### Error/warning messages for the Interning Checker
not.interned=attempting to use a non-@Interned comparison operand%nfound: %s
unnecessary.equals=use of .equals can be safely replaced by ==/!=
overrides.equals=annotated with @UsesObjectEquals but overrides .equals(Object)
superclass.notannotated=superclass must be annotated with @UsesObjectEquals
superclass.annotated=subclasses must also be annotated with @UsesObjectEquals
interned.object.creation=Cannot statically verify that a new object of an @Interned class is @Interned
invalid.method.annotation=%s applies to a method with %s formal parameters; %s has %d