langtools/make/jprt.properties
changeset 13661 7c894680910a
parent 12084 b367473ef0f1
child 13631 dc1212c348f9