Alternative jenkins settings.xml