Artifacts of gazelle-junit #13055