Doubt in polymorphism

[Veena Pointi]

class A {}
class B extends A {}
class C extends B {
  static void m(A x, A y) {System.out.print("AA");}
  static void m(A x, B y) {System.out.print("AB");}
  static void m(B x, A y) {System.out.print("BA");}
  static void m(B x, B y) {System.out.print("BB");}
  static void m(A x, C y) {System.out.print("AC");}
  public static void main(String[] args) {
    C c = new C();
    m(c, c);
  }
}

The above code gives compiler error.It is from Dan's test.
Explanation given is
Section 15.12.2.2 of the Java Language Specification states the following. If more than one method declaration is both accessible and applicable to a method invocation, it is necessary to choose one to provide the descriptor for the run-time method dispatch. The Java programming language uses the rule that the most specific method is chosen. The informal intuition is that one method declaration is more specific than another if any invocation handled by the first method could be passed on to the other one without a compile-time type error. End of quote. In this case, no method is clearly more specific than all of the others.
My question is shouldn't it print BB?coz it is more specific.

[shweta mathur]

one method declaration is more specific than another if any invocation handled by the first method could be passed on to the other one without a compile-time type error.

If you select BB, then you cannot pass to AC, therefore BB cannot be said to be more specific.
Similarly none of them can be passed in all the rest remaining , so none of them can be said to be more specific,

[Hanna Habashy]

hi:
static void m(B x, B y) {System.out.print("BB");}
static void m(A x, C y) {System.out.print("AC");}
public static void main(String[] args)
{ C c = new C(); m(c, c);
The previous two methods are in the same level of specification. Both of them can be applied at compile time. So that the compiler complain.

[Veena Pointi]

Thank You Sweta.It is very clear.I got it.
Thanks again
Veena