1.1 --- a/make/jprt.properties Fri Aug 10 23:19:43 2012 -0700 1.2 +++ b/make/jprt.properties Wed Aug 15 16:49:38 2012 -0700 1.3 @@ -38,7 +38,7 @@ 1.4 1.5 # This tells jprt what default release we want to build 1.6 1.7 -jprt.hotspot.default.release=jdk7 1.8 +jprt.hotspot.default.release=jdk8 1.9 1.10 jprt.tools.default.release=${jprt.submit.option.release?${jprt.submit.option.release}:${jprt.hotspot.default.release}} 1.11