Move version of junit-quickcheck into property