Bugfixing, counters now double, not int
Authored by: Matthias_Feil 2010-02-04
Parent: [r10285]
Child: [r10287]