hg: jdk6/jdk6/langtools: 6830756: jprt configuration changes, remove jprt.config files, specify os revs wanted

[kelly.ohair at sun.com]

Changeset: 59ff92d0fdec
Author:    ohair
Date:      2009-04-15 17:27 -0700
URL:       http://hg.openjdk.java.net/jdk6/jdk6/langtools/rev/59ff92d0fdec

6830756: jprt configuration changes, remove jprt.config files, specify os revs wanted
Reviewed-by: tbell

- make/jprt.config
! make/jprt.properties
- test/jprt.config