I will commit this trivial change to fix build without precompiled headers. This goes to jdk10, jdk9, jdk8u and aarch64-port/jdk8u-shenandoah. http://cr.openjdk.java.net/~rkennke/fixnoprecompiled/webrev.01/ <http://cr.openjdk.java.net/%7Erkennke/fixnoprecompiled/webrev.01/> Roman