adding customization of serverid in settings.xml