make/jprt.properties
changeset 50563 1372f66e0a17
parent 50113 caf115bb98ad