org.eclipse.jdt.ui.tests.refactoring/resources/UseSupertypeWherePossible/testNew5/out/Test.java

package p;
class Test{
	void test(){
		Object a= new A();
		f(a);
	}
	void f(Object a){
		a.getClass();
	}
}