da 4 possibilita' di impostazioni per il file settings.xml
La terza, che per coincidenza è quella che interessava a me, non funziona.