Products and Services
Oracle Technology Network
hs23 is being delivered into jdk7u4 (only), so jdk7u4 should be the default release used by jprt when building hotspot. Currently, hs23 uses the default release that is built into jprt, which changes over time.
Update make/jprt.properties, so the default release used by jprt is jdk7u4. Allow the default to be overridden on the command line.