--- old/make/jprt.properties 2011-11-23 09:04:42.230396000 -0500 +++ new/make/jprt.properties 2011-11-23 09:04:41.606373000 -0500 @@ -38,7 +38,7 @@ # This tells jprt what default release we want to build -jprt.tools.default.release=${jprt.submit.release} +jprt.tools.default.release=jdk8 # Disable syncing the source after builds and tests are done.