Simple update to jprt.properties to change target names. http://cr.openjdk.java.net/~dholmes/8008783/webrev/ Pushing through hotspot-emb once the renamed promoted builds are available. Thanks, David