make/jprt.properties
changeset 51833 91fd24cf57d5
parent 50113 caf115bb98ad