in servo_pkg/src/utility.cpp [33:42]
void writeJSONToFile(Json::Value jsonValue, const std::string &filePath) {
// Write to file
Json::StreamWriterBuilder builder;
builder["commentStyle"] = "None";
builder["indentation"] = " ";
std::unique_ptr<Json::StreamWriter> writer(builder.newStreamWriter());
std::ofstream ofs(filePath);
writer->write(jsonValue, &ofs);
}