make/jprt.properties
changeset 51061 9f310b672b8c
parent 50113 caf115bb98ad