In build_json, write the KDE JSON files.