langtools/test/jprt.config
changeset 6777 409f81b76d89
parent 5520 86e4b9a9da40