org.eclipse.jdt.core.tests.model/workspace/FormatterJSR308/test017/X_out.java

public class X {
	public static void main(String[] args) {
		int i = (@Marker int) 0;
		int j[] = (@Marker int @Marker []) null;
		Zork z;
	}
}