1 package annotator.tests; 2 3 import java.util.List; 4 5 public class ConstructorParamMultiple { ConstructorParamMultiple( Object a, List< Integer> b, int c)6 public ConstructorParamMultiple( 7 /* @Tainted*/ Object a, 8 /* @Tainted*/ List</* @UnderInitialization*/ Integer> b, 9 /* @Tainted*/ int c) { 10 11 } 12 } 13