package java.lang:
annotation @Tainted: @Retention(value=RUNTIME) @java.lang.annotation.Target(value={TYPE_USE})

package annotator.tests:
class FieldMultiple:

    field foo:
        type: @java.lang.Tainted

    field bar:
        type: @java.lang.Tainted

    field i: @java.lang.Tainted

    field d: @java.lang.Tainted

    method <init>()V: