langtools/make/jprt.properties
changeset 5594 3db39773da2e
parent 5214 b71be6b1f652
child 5520 86e4b9a9da40
equal deleted inserted replaced
5593:b89c8108f831 5594:3db39773da2e