> Patch for all of GCC. OK to apply and sync to src? > > Note there is no regeneration needed, none of the generated files > change. > > Tom, could you sync to classpath? Ok after Tom's answer. Paolo