Merge pull request #5586 from gohai/jdk-update

Update Java to 8u181
This commit is contained in:
Ben Fry
2018-07-23 18:31:04 -04:00
committed by GitHub
+3 -3
View File
@@ -71,11 +71,11 @@
value="../../processing-docs/content/examples" />
<property name="jdk.version" value="8" />
<property name="jdk.update" value="172" />
<property name="jdk.build" value="11" />
<property name="jdk.update" value="181" />
<property name="jdk.build" value="13" />
<!-- See https://gist.github.com/P7h/9741922
or http://stackoverflow.com/q/10268583 -->
<property name="jdk.hash" value="a58eab1ec242421181065cdc37240b08" />
<property name="jdk.hash" value="96a7b8442fe848ef90c96a2fad6ed6d1" />
<property name="jdk.short" value="${jdk.version}u${jdk.update}" />
<property name="jdk.esoteric" value="1.${jdk.version}.0_${jdk.update}" />