Rename file extension to json

Changing the file extension to a more meaningful name.