console.shutdown();
if (console != null) console.shutdown();
	public void stop(BundleContext ctxt) throws Exception {		super.stop(ctxt);//		TeamUI.removePropertyChangeListener(listener);		try {			if (repositoryManager != null)				repositoryManager.shutdown();		} catch (TeamException e) {			throw new CoreException(e.getStatus());		}        console.shutdown();	}