make/jprt.properties
changeset 50871 d283a214f42b
parent 50113 caf115bb98ad