On 9/25/19 12:29 PM, Roman Kennke wrote: > Right: > http://cr.openjdk.java.net/~rkennke/JDK-8231447/webrev.01/ > >> *) Does this compile with --disable-precompiled-headers? > > yes. > > Good? Good. -- Thanks, -Aleksey