public void writeJson(File destFile) throws IOException {
		try (FileWriter fw = new FileWriter(destFile)) {
			new Gson().toJson(getJson(), fw);
		}
	}
Simplistic implementation, applies a json diff (see https://github.com/josephburnett/jd)
to an in memory json element to create a new json value.
<p>
Does not use any context hints in the diff to correct for mismatches, hence should only be used
against the exact original value to produce the new value, useful for compressing json files
that are derived from each other.
Ghidra/Features/Base/src/main/java/ghidra/app/util/bin/format/golang/rtti/JsonPatchApplier.java