Diff openjdk-jre-bin-11.0.18_p10 with a openjdk-jre-bin-11.0.19_p7

Thank you!