langtools/make/jprt.properties
changeset 12424 32365a68919e
parent 12084 b367473ef0f1
child 13631 dc1212c348f9