A Simple TestNG @DataProvider annotation processor for QuickCheck Generators