Never mind… Ich habe die Maschine neu aufgesetzt und meine Einstellungen wiederhergestellt. Dabei tritt das Problem wieder auf, wenn ich meine settings.xml lade (aber nur dann).
Komischerweise hatte ich ja im alten Container die Settings komplett gelöscht und auch nicht wiederhergestellt.
Egal, falls der Wunsch besteht, sich das näher anzuschauen, kann ich die settings gerne hochladen, ich gehe aber davon aus, dass es eher ein “seltsames Phänomen” ist und nicht weiterer Erforschung bedarf.