[9] Review request: 8172719: Build failure on Windows platform after fix for JDK-8172372

[Kevin Rushforth]

Need a quick review for:

https://bugs.openjdk.java.net/browse/JDK-8172719

to fix the build on Windows. Diff is in the bug report.

-- Kevin