org.eclipse.jdt.ui.tests.refactoring/resources/UseSupertypeWherePossible/test68/out/As.java

package p;
/** typecomment template*/
public class As {
	void f(){
		A a= A.getA();
		a.m1();
	}
}