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

package test0188;
import java.util.*;
public class Test {
	public void foo() {
		int i= 0;
		foo();
		do {
			foo();
		} while (/*]*/i <= 10/*[*/);
	}
}