jdk/test/jprt.config
changeset 46350 5fdb409ba877
parent 41107 567f832618d7