Just a small example of using junit-quickcheck plugin