the server segement in settings.xml does not work when downloading stuff from my mirrorred repository server.