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

package p;
class A{
	public void m() {}
}
class B extends A{
}