EnumStubTest.java:16:27: compiler.err.proc.messager: [argument] incompatible argument for parameter sEnum of EnumStubTest.requireEnum.
found   : @Tainted SampleEnum
required: @Untainted SampleEnum
1 error
