Here is a new version of my extension:
Note:
If you do not use this (but the original version), you will get deviations when adding up the milliseconds, since the times displayed (in the ListViewer) are rounded down (i.e. that as long as a second has not yet ended (e.g. 1999ms are displayed as 1 sec).
