use file = new StreamWriter (predefinedPPIFilepath)
file.Write (JsonConvert.SerializeObject (predefinedPPI, JsonSerializerSettings (Formatting = Formatting.Indented)))
with
use file = new StreamWriter (predefinedPPIFilepath)
file.Write (JsonConvert.SerializeObject (predefinedPPI, JsonSerializerSettings (Formatting = Formatting.Indented)))
with