JSON file splitting in DAT<->JSON converter.