On 22 Aug 2013, at 15:27, Steven Goldfeder wrote:

>> +import com.sun.tools.javac.code.Attribute.Compound;
>> +import com.sun.tools.javac.code.Symbol;
>> +import com.sun.tools.javac.code.Symbol.MethodSymbol;
>> +import com.sun.tools.javac.code.Symbol.TypeSymbol;
>> +
>> +import javax.lang.model.element.TypeElement;
>> +
>> +/**
>> + * This checker matches methods that
>> + *   1) are not themselves annotated with @Inject
>> + *     (neither javax.inject.Inject nor com.google.inject.Inject)
>> + *   2) descend from a method that is annotated with 
>> @com.google.inject.Inject
>> + *
>> + * @author sgoldfeder@google.com (Steven Goldfeder)
>> + */
>> +@BugPattern(name = "GuiceOverridesGuiceInjectableMethod", summary =
>
> Or do we want to keep this prefix? i.e. to differentiate between 
> GuiceOverridesGuiceInjectableMethod and 
> JavaxOverridesGuiceInjectableMethod
>
> or do we want to change this to new names as these are unclear?

Per our conversation, it should be "OverridesGuiceInjectableMethod" and 
"OverridesJavaInjectableMethod"