annotation-file-utilities/tests/FieldSimpleArray.goal

package annotator.tests;

public class FieldSimpleArray {
  @java.lang.UnderInitialization Integer @java.lang.Tainted [] field;
}