hg: jdk7/build/corba: 6982946: Change make/jprt.properties to defer to JPRT itself for jdk platform list

[kelly.ohair at oracle.com]

Changeset: 3821536d79ab
Author:    ohair
Date:      2010-09-07 15:16 -0700
URL:       http://hg.openjdk.java.net/jdk7/build/corba/rev/3821536d79ab

6982946: Change make/jprt.properties to defer to JPRT itself for jdk platform list
Reviewed-by: kamg

! make/jprt.properties