org.eclipse.jdt.ui.tests.refactoring/resources/UseSupertypeWherePossible/test11_/out/A.java

package p;
abstract class A implements I{
	abstract public void m();
}