Artifacts of gazelle-xua-jar #20