make/jprt.properties
changeset 50621 4216de02077e
parent 50113 caf115bb98ad