Fix up of settings.xml commit got missed during settings cleanup
Merge pull request #4300 from jjd-uk/strings

Fix up of settings.xml commit got missed during settings cleanup