135,136d134
<
< delete kernelBinning;
223,230d220
< System::regStats()
< {
< #if FULL_SYSTEM
< kernelBinning->regStats(name() + ".kern");
< #endif // FULL_SYSTEM
< }
<
< void
234,235d223
< kernelBinning->serialize(os);
<
245,246d232
< kernelBinning->unserialize(cp, section);
<