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

package p;

class A implements I {
	public void m(){}
	public void m1(){}
	void f(){
		I a= new A();
		a.m();

		A a1= new A();
		a1.m1();
	}
}