Minecraft wiki entry for Server_level.dat, associated text: The file is compressed using gzip to save space (as the files can end up being reasonably large due to everything, even air being considered a block).