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