package java.lang: annotation @Tainted: @Retention(value=RUNTIME) @java.lang.annotation.Target(value={TYPE_USE}) package annotator.tests: class NewSimple: method <init>()V: method foo()V: new #0: @java.lang.Tainted