org.eclipse.jdt.ui.tests.refactoring/resources/UseSupertypeWherePossible/test23/in/A.java

package p;

class A implements I {
	public void m() {}
	void g() {
		A a= (A)new A();
	}
}