org.eclipse.jdt.ui.tests.refactoring/resources/PushDown/testFail13/in/A.java

//abstracting foo not possible - referencing bar
package p;

class A {
	
	private int bar() {
		return foo();
	}

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