Changeset: 9f96a36ef77c Author: mikael Date: 2014-06-24 20:29 -0700 URL: http://hg.openjdk.java.net/jdk9/dev/rev/9f96a36ef77c 8047740: Add hotspot testset to jprt.properties Reviewed-by: dholmes ! make/jprt.properties