Greetings, 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. Thanks, in advance, for any comments, questions or suggestions. Dan