package java.lang: annotation @Tainted: @Retention(value=RUNTIME) @java.lang.annotation.Target(value={TYPE_USE}) package java.lang: annotation @UnderInitialization: @Retention(value=RUNTIME) @java.lang.annotation.Target(value={TYPE_USE}) package annotator.tests: class ConstructorParamMultiple: method <init>(Ljava/lang/Object;Ljava/util/List;I)V: parameter #0: type: @java.lang.Tainted parameter #1: type: @java.lang.Tainted inner-type 3, 0: @java.lang.UnderInitialization parameter #2: type: @java.lang.Tainted