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

package test0126;
import java.util.*;
public class Test {
	public void foo(int i) {
		for (String[] tab[] = null;; ++i) {}
	}

}