6982946: Change make/jprt.properties to defer to JPRT itself for jdk platform list

Reviewed-by: kamg
1 file changed