dynamic propertyAsFileContentJSON(String key, [File? def]) { var s = propertyAsFileContentString(key, def); return s != null ? dart_convert.json.decode(s) : null; }