Hi all, may I please have reviews and a sponsor for this tiny fix: Issue: https://bugs.openjdk.java.net/browse/JDK-8198558 Webrev: http://cr.openjdk.java.net/~stuefe/webrevs/8198558-windows-noprecompiled-headers-broken/webrev.00/webrev/index.html Thank you, Thomas