jdk/make/jprt.properties
Mon, 12 Dec 2011 08:17:28 -0800 ohair 7119829: Adjust default jprt testing configuration
less more (0) -10 -1 tip