org.eclipse.jdt.core.tests.model/workspace/Converter/test0376/A.java

package test0376;

class A {
	void f() {
		A a = ( A ) this;
	}
}