make/jprt.properties
changeset 22032 4a7fd867c53c
parent 22031 ae288cbb4c28
child 24804 cc1430d4501f
--- 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