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

public class X extends @Marker Object {
}