public JsonObject toJson() {
			// { "path": [blah, blha], "elements": [ { "op": "+/-", "value": jsonvalue }, * ] }
			JsonObject result = new JsonObject();
			result.add("path", path);
			JsonArray elements = new JsonArray();
			lines.forEach(line -> elements.add(line.toJson()));
			result.add("elements", elements);
			return result;
		}
Converts this patch to a json array.

@return json array with json encoded patch/diff elements.
Ghidra/Features/Base/src/main/java/ghidra/app/util/bin/format/golang/rtti/JsonPatch.java