Java Quickcheck demo