anchor.diff:  }
   
   Dataset jsonImport(String jsonPath) {
  +  Dataset dataset = new Dataset();
   
  +  var datasetJson = JSON.decode(new File(jsonPath).readAsStringSync());
  +  Map sessionMap = datasetJson;
  +  for (var sessionId in sessionMap.keys) {
  +    dataset.sessions.putIfAbsent(sessionId, () => new Session(sessionId, []));
  +
  +    List eventsList = sessionMap[sessionId]["events"];
  +    for (var eventMap in eventsList) {
  +      String name = eventMap["name"];
  +      String timestamp = eventMap["timestamp"];
  +      String data = eventMap["data"];
  +
  +      var event = new RawEvent(name, timestamp, null, data);
  +      for (var decorationName in eventMap["decorations"].keys) {
  +        event.decorate(decorationName, eventMap["decorations"][decorationName]);
  +      }
  +
  +      dataset.sessions[sessionId].events.add(event);
  +    }
  +  }
  +
  +  return dataset;
   }
   
   
  
positive.code:       exit(1);
    }
  
    var dataset = importOriginalDataset(inputPath);
    jsonExport(dataset, outputPath);
  }
  
  // Support utils for silly data format
  
negative.code:   print ("Usage: dart tools.dart action input_path output_path");
    print ("Currently supported actions:");
    print ("\traw2json");
    print ("\tjson2csv");
    print ("\tcsv2json");
  }
  