TOOLSDOC-429: Mod to settings.xml to try to fix jenkins doc build issues