RFR(XXS) 8131128: fix merge error in jprt.properties

[Tim Bell]

Hi Dan:

> I have a fix for the following bug:
>
>     JDK-8131128 Merge error in jprt.properties leads to missing devkit 
> argument
>     https://bugs.openjdk.java.net/browse/JDK-8131128
>
> I made a merge error on 2015.07.03 during my gatekeeping work for a
> Main_Baseline -> RT_Baseline sync-down. Thanks for Mikael for finding
> this issue.
>
> Webrev URL: 
> http://cr.openjdk.java.net/~dcubed/8131128-webrev/0-jdk9-hs-rt/
>
> If you're interested in the whitespace changes that I made along
> with adding the line break, you'll need to use the 'cdiffs' link.

Looks good to me.  That is a very tricky file to change.

Tim