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

[kelly . ohair]

Changeset: 47e7ff871196
Author:    ohair
Date:      2010-09-07 15:14 -0700
URL:       http://hg.openjdk.java.net/jdk7/build/langtools/rev/47e7ff871196

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

! make/jprt.properties