private void saveThemeFileToZip(String dir, ZipOutputStream zos) throws IOException {
		ZipEntry entry = new ZipEntry(dir + theme.getName() + ".theme");
		zos.putNextEntry(entry);
		BufferedWriter writer = new BufferedWriter(new OutputStreamWriter(zos));
		writeThemeValues(writer);
		writer.flush();
	}
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