tests/org.eclipse.wst.jsdt.core.tests.model/workspace/Formatter/test445/A_out.js

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