diff --git a/make/jprt.properties b/make/jprt.properties index f6f8e41bdfac1f52a22e81cdec481b60a548ee24..d15b2a8f662b70c659848465bd11eadb298583dd 100644 --- a/make/jprt.properties +++ b/make/jprt.properties @@ -29,7 +29,7 @@ # # The current release name -my.jdk.update.version=20 +my.jdk.update.version=40 jprt.tools.default.release=jdk8u${my.jdk.update.version} # Check if this is the equivalent of a hotspot push job