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