// Saves a JSON or SJSON file. static void Save(Hashtable h, string s) { if (_use_json) { JSON.Save(h, s); } else { SJSON.Save(h, s); } }