testing/openjdk13: upgrade to 13.0.8
This MR upgrades jdk13 to the latest release, fixing many issues:
https://mail.openjdk.java.net/pipermail/jdk-updates-dev/2021-July/006955.html
This MR upgrades jdk13 to the latest release, fixing many issues:
https://mail.openjdk.java.net/pipermail/jdk-updates-dev/2021-July/006955.html