GitLab

Improved automatic finalization of xml tags in debugging files when
execution is halted.
Fixed that internal file format may be read incorrectly.