package java.lang: annotation @UnderInitialization: @Retention(value=RUNTIME) @java.lang.annotation.Target(value={TYPE_USE}) package annotator.tests: class ConstructorParam: method <init>(I)V: parameter #0: type: @java.lang.UnderInitialization