//renaming to b package p; class A{ A A; A m(A A){ A: for (;;){ if (A.m(A)==A) break A; } return A; }; }