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

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