changed file format of dump data file
fix
fix
Merge pull request #805 from t-gerhard/dumpmanager_dump_file_format

Dumpmanager dump file format