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

package test0543;

public class A {
	public static void main(String[] args) {
		Object c = new java.io.PrintStream() {};
		System.out.println(c);
	}
}