Looks like the method resolution code MethodReference.resolveInternal() is incorrect. It does not look for methods implemented in interfaces implemented by a class. In contrast, FieldReference.resolveInternal() looks in all super classes and interfaces a class implements. I am attaching a simple test program that demonstrates this bug. This bug exists in SVN r15788.