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