4.0.0 net.java quickcheck-examples jar net.java quickcheck-all 0.5.1 quickcheck-examples net.java quickcheck ${version}