Changed devices.txt to json.