public void saveToJsonFile(File file) throws IOException {
		Gson gson = new GsonBuilder().setPrettyPrinting().create();
		JsonObject saveToJson = saveToJson();
		try (FileWriter writer = new FileWriter(file)) {
			writer.write(gson.toJson(saveToJson));
		}
	}
Outputs this GProperties to a file using Json
<P>
For example, a GProperties that is created with:
<pre>
 ss = new GProperties("foo")
	ss.putString("Name", "Bob");
	ss.putBoolean("Retired", true);
	ss.putInt("Age", 65);
	ss.putEnum("Endian", Endian.BIG);

 would produce a Json file with the following text

{
 "GPROPERTIES NAME": "foo",
 "VALUES": {
   "Name": "Bob"
   "Retired": true,
   "Age": 65,
   "Endian": "BIG",
 },
 "TYPES": {
   "Name": "String"
   "Retired": "boolean",
   "Age": "int",
   "Endian": "enum",
 },	
 "ENUM CLASSES": {
   "Endian": "ghidra.program.model.lang.Endian"
 }
}
</pre>

@param file the file to save to
@throws IOException if an error occurs writing to the given file
Ghidra/Framework/Generic/src/main/java/ghidra/framework/options/GProperties.java