org.eclipse.jdt.ui.tests.refactoring/resources/ChangeSignature/cannotModify/A_testFailImport01.java

package p;

abstract class A {
	public abstract int m();
	protected void finalize() {
		m();
	}
}

class B extends A {
	public int m() {
		return 17;
	}
}