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

package p;

abstract class A {
	public @interface Annotation {
		String name() default "foo";
	}
	private int bar() {
		return foo();
	}
	@Annotation (
		name= "bar"
	)
	public abstract int foo();
}
class B extends A {

	public int foo() {
		return 2;
	}
}