private void writeJsonToFile(JsonObject json, Name qualifiedName) {

		File jsonFile = new File(destDir, qualifiedName.toString().replace('.', '/') + ".json");
		jsonFile.getParentFile().mkdirs();
		try (PrintWriter writer = new PrintWriter(new FileWriter(jsonFile))) {
			writer.println(gson.toJson(json));
		}
		catch (IOException e) {
			e.printStackTrace();
		}
	}
Writes the given json to a filename based on the given qualified class name.

@param json The json to write.
@param qualifiedName The qualified class name.  This name will get converted into a directory
  structure.
GhidraBuild/BuildFiles/Doclets/src/main/java/ghidra/doclets/json/JsonDoclet.java