6982946: Change make/jprt.properties to defer to JPRT itself for jdk platform list
Reviewed-by: kamg
^build/
^dist/
/nbproject/private/
^src/share/tools/hsdis/build/
^src/share/tools/IdealGraphVisualizer/[a-zA-Z0-9]*/build/
^src/share/tools/IdealGraphVisualizer/build/
^src/share/tools/IdealGraphVisualizer/dist/