The cause of the bug is that the counter-reading code overwrites an existing counter when it is read again, rather than updating it, as for other bits of layout information. This patch fixes the bug and, along the way, makes the counter-reading code more like the style- reading code. The bulk of it is moved to Counters.cpp.
I am all for it if it is corectly tested (but of course, this looks moe like cleanup that bug fixing...).
JMarc
