ipconfig /flushdnsbzw. unter OS X (10.10.4 und neuer) im Terminal
sudo killall -HUP mDNSResponderauszuführen, und dann den Launcher zu starten. Beide Befehle löschen den lokalen DNS-Cache der Namensauflösung, so dass der Launcher frische Werte bekommt. Vielleicht klappt's ja schon damit.