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

package test0370;

public class Test {
	public void foo() {
		do ; while(true);
	}

}