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:   switch (args[0].toLowerCase()) {
      case "raw2json":
        print ("Converting raw to json format");
        break;
      default:
        print ("Unknown action: ${args[0]}");
  
negative.code:       exit(1);
    }
  
  
  }
  
  // Support utils for silly data format
  