jdk/make/jprt.properties
changeset 7291 9fefa2786251
parent 6680 b770b6b96142
child 7668 d4a77089c587