org.eclipse.jdt.core.tests.model/workspace/Formatter/test442/A_out.java

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