make/jprt.properties
changeset 51593 e6250a870739
parent 50113 caf115bb98ad