org.eclipse.jdt.core.tests.model/workspace/Converter15/src/test0137/X.java

package test0137;

public class X {
	public void main(String[] args) {
		Source.TestInterface<String> c;
	}
}