Provide milliseconds in timestamp colum debugwindow

I don't use the EnhancedDebugger but if you create a SimpleDateFormat like

won't that not just add centiseconds and not milliseconds as format? E.g. 14:42:23:12
I think this should be changed to

So 'dot' instead of 'colon', and a third S to the format string.