Änderungen an der Konfigurationsdatei wirken sich erst dann aus, wenn der Workspace Manager neu gestartet wird.
Wählen Sie 'Workspace Manager neu starten' aus dem Menü 'Arbeitsbereich' (klicken Sie mit Maustaste 3 in den Arbeitsbereich).