# HG changeset patch
# User erikj
# Date 1387458672 -3600
# Node ID 4a7fd867c53c88aca4bb20e2620789e9d80393f0
# Parent  ae288cbb4c28eadec56a6d0b5ffa120dcaad1de1
8030793: Update jprt.properties to release jdk9
Reviewed-by: chegar

diff -r ae288cbb4c28 -r 4a7fd867c53c make/jprt.properties
--- a/make/jprt.properties	Tue Dec 17 11:09:26 2013 +0100
+++ b/make/jprt.properties	Thu Dec 19 14:11:12 2013 +0100
@@ -26,7 +26,7 @@
 # Properties for jprt
 
 # Locked down to jdk8
-jprt.tools.default.release=jdk8
+jprt.tools.default.release=jdk9
 
 # Unix toolkit to use for building on windows
 jprt.windows.jdk8.build.unix.toolkit=cygwin