net.java quickcheck 0.6 0.6 0.5a 0.5b 0.5.1 0.6 20110815192547