make/jprt.properties
changeset 51678 2fdfe34f7262
parent 50113 caf115bb98ad