langtools/make/jprt.properties
changeset 5155 d70c73fdc68e
parent 2684 dd13095c13cb
child 5214 b71be6b1f652