public void writeThemeToZipFile(File file) throws IOException {
		String dir = theme.getName() + ".theme/";
		try (FileOutputStream fos = new FileOutputStream(file)) {
			ZipOutputStream zos = new ZipOutputStream(fos);
			saveThemeFileToZip(dir, zos);
			Set<File> iconFiles = theme.getExternalIconFiles();
			for (File iconFile : iconFiles) {
				copyToZipFile(dir, iconFile, zos);
			}
			zos.finish();
		}
	}
Writes the theme to the given file in a zip format.
@param file the file to write to
@throws IOException if an I/O error occurs trying to write the file
Ghidra/Framework/Gui/src/main/java/generic/theme/ThemeWriter.java