langtools/make/jprt.properties
changeset 10258 10c77b8c8d3e
parent 6359 498e87a703a0
child 10195 a54f635a1f12