Question about processing datasets with Joern (Devign dataset handling):

The  Devign dataset is provided in JSON format, but it seems joern-parse cannot directly process JSON files. I'm unclear about how the original dataset was processed in the project: