6982946: Change make/jprt.properties to defer to JPRT itself for jdk platform list
Reviewed-by: kamg
1 file changed