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

//nothing added to m
package p;
class A{	
	protected void m(){
		f();
	}
	public void f(){}
}
class B extends A{
}