0.3.7 writePrettyJsonFile