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

package p;
abstract class A{
}
abstract class B extends A{

	public abstract void f();

	public void m() {}
}
class C extends A{
	public void f(){}

	public void m() {}
}