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

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