jdk/makefiles/jprt.properties
changeset 21889 7c3939a495ab
parent 20897 d1c840eec41d