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

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