Changed a few file formats to JSON