Reports: junit-quickcheck-core