jdk/make/jprt.properties
changeset 21591 35320b590d9b
parent 20897 d1c840eec41d