So löschen Sie den Cachespeicher
1. Wählen Sie die Befehlsfolge > > . Das Dialogfenster Serververwaltung (Server Management) wird angezeigt.
2. Klicken Sie auf die Registerkarte Cache (Cache), und klicken Sie auf Löschen (Clear). Der Cache-Speicher für den registrierten Server und alle Ihre Workspaces wird gelöscht.