hg: jdk8/build/langtools: 7069993: Adjust make/jprt.properties file for jdk8

[kelly . ohair]

Changeset: 2d3096441387
Author:    ohair
Date:      2011-07-22 17:35 -0700
URL:       http://hg.openjdk.java.net/jdk8/build/langtools/rev/2d3096441387

7069993: Adjust make/jprt.properties file for jdk8
Reviewed-by: katleman

! make/jprt.properties