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

switch (x) {
	case 1 :
		return;
	default :
}