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

package test0302;
import java.util.*;
public class Test {
	public void foo() {
		/*]*/do
			foo();
		while(1 < 10);/*[*/
	}
}