https://github.com/pholser/junit-quickcheck
