Changeset: e291a5c557d1 Author: mikael Date: 2014-07-11 13:49 -0700 URL: http://hg.openjdk.java.net/jdk9/hs-rt/rev/e291a5c557d1 8049071: Add jtreg jobs to JPRT for hotspot Reviewed-by: dholmes, iveresov ! make/jprt.properties