StefanMacke/pbt-junit-quickcheck not found