package annotator.tests; public class FieldSimple { private @java.lang.UnderInitialization Integer field; }