Artifacts of reddeer.verification.jdk11 #19