langtools/make/jprt.properties
changeset 6360 459101405fa3
parent 5520 86e4b9a9da40
child 6359 498e87a703a0