I don't use the EnhancedDebugger but if you create a SimpleDateFormat like
SimpleDateFormat dateFormatter = new SimpleDateFormat("hh:mm:ss:SS aaa");
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
SimpleDateFormat dateFormatter = new SimpleDateFormat("hh:mm:ss.SSS aaa");
So 'dot' instead of 'colon', and a third S to the format string.
This patch provide milliseconds in the timestamp column of the smack debug window.