org.eclipse.jdt.core.tests.model/workspace/Converter/test0195/Test.java

package test0195;
import java.util.*;
import java.io.File;

class A {
	public File getFile() {
		return null;
	}
	public void useFile(File file) {
	}
}

public class Test {
	public void foo() {
		A a= null;
		a.useFile(/*]*/a.getFile()/*[*/);
	}
}