test/jdk/jprt.config
changeset 50162 f9fe56417050
parent 47216 71c04702a3d5