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

public class X {
	int x(@Marker int... p) {
		return 10;
	};

	Zork z;
}

@java.lang.annotation.Target(java.lang.annotation.ElementType.TYPE_PARAMETER)
@interface Marker {
}