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

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

package annotator.tests:
class IntCell:

    field i:

    method <init>(I)V:

    method set(I)V:
        receiver: @java.lang.UnderInitialization

    method get()I:
        receiver: @java.lang.Tainted