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

[christine.lu at oracle.com]

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

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

! make/jprt.properties