org.eclipse.jdt.ui.tests.refactoring/resources/PushDown/test32/out/A.java

package p;

abstract class A {
	@interface Annotation {
		String name();
	}
	private int bar() {
		return foo();
	}

	public abstract int foo();
}
class B extends A {

	@Override
	public int foo() {
		return 2;
	}
}