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

public class X {
	final String[] empty = new String[] {,};

	public static void main(String[] args) {
	}

}