statistics generation, a bit of clean-up
serializing of xmi is now hardcoded to cope with up to ~1900 msgs/sec
fixed minor problem with uuid generation