Also perhaps check the encoding of the settings.json file. Maybe somehow it got changed to some other character set.