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

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