Per azzerare la cache
1. Fate clic su > > . Viene visualizzata la finestra di dialogo Gestione server (Server management).
2. Fate clic sulla scheda Cache e quindi su Cancella (Clear). Viene azzerata la cache del server registrato e di tutti i workspace.