On 08/14/2018 01:16 PM, Schmidt, Lutz wrote: > Bug: https://bugs.openjdk.java.net/browse/JDK-8209433 > Webrev: http://cr.openjdk.java.net/~lucy/webrevs/8209433.00/ Looks good and trivial. Thanks, that would fix the only remaining trouble with building jdk/jdk. -Aleksey