langtools/make/jprt.properties
changeset 5594 3db39773da2e
parent 5214 b71be6b1f652
child 5520 86e4b9a9da40