org.eclipse.jdt.ui.tests.refactoring/resources/PullUp/test30/out/A.java

package p;
abstract class A{

	public abstract boolean m(int[] a) throws Exception;
}
class B extends A{
	@Override
	public boolean m(int[] a) throws Exception {
		return true;
	}
}
abstract class C extends A{
}