Saved Game File Format
The saved game file format is a compressed XML format which is interchangeable between platforms. The XML file format is robust and allows for improved compatibility between versions. After decompression, the XML file format may be manipulated (e.g., using XSLT) to other desired formats.
Saved game files are compressed using the gzip compression (for more details, see http://www.gzip.org) format. A complete file will begin and end with <jsx> elements. Windows users may use a program like WinZip or WinRar to decompress a gzip file; note that adding the extension ".gz" may help.