org.eclipse.jdt.ui.tests.refactoring/resources/PullUp/testFail16/in/A.java

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