make/jprt.properties
changeset 50464 102ae98c917c
parent 50113 caf115bb98ad