B.java

package p;
class B{
   boolean A = new B() instanceof B;
   B A(B A){
     A:
        for (;;){
          if (A.A(A)==A)
             break A;
        }
      return A;
   };
}
class AA extends B{
   B A = (B) new B();
   B A(B A){
     A:
        for (;;){
          if (A.A(A)==A)
             break A;
        }
      return A;
   };
}