524525526527528529530531532533
* @see org.eclipse.ui.part.WorkbenchPart#dispose() */ public void dispose() { ServersHandler serversHandler = ServersHandler.getDefault(); serversHandler.removeListener( serversHandlerListener ); super.dispose(); } }
520521522523524525526527528529
510511512513514515516517518519
* {@inheritDoc} */ public void dispose() { ServersHandler serversHandler = ServersHandler.getDefault(); serversHandler.removeListener( serversHandlerListener ); super.dispose(); } }