jdk/test/jprt.config
changeset 3044 6d4ed1445c2c
parent 2 90ce3da70b43
child 5506 202f599c92aa