JCheck is to Java what QuickCheck is to Haskell.