annotation-file-utilities/tests/ConstructorReturn.jaif

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

package annotator.tests:
class ConstructorReturn:
    method ConstructorReturn()V:
return: @Tainted