Use B.m1() and C.m1()
As long as they have the same signatures the compiler will consider them as one method. In case that one of them has a different return type it would result in compile error. Overridden method will be applicable for both the interface.