Java library to migrate old FreeSpace Installer data to JSON