87 	private boolean ignoreAgentLoadErrors() {

    87 	private boolean ignoreAgentLoadErrors() {

    88 		return getPreferenceStore().getBoolean(IGNORE_AGENT_LOAD_ERRORS_KEY);

    88 		return getPreferenceStore().getBoolean(IGNORE_AGENT_LOAD_ERRORS_KEY);

    89 	}

    89 	}

    90 

    90 

    91 	private void checkPrerequisites() {

    91 	private void checkPrerequisites() {

    92 		final Map<IDeviceDiscoveryAgent, IPrerequisiteStatus> agentToStatusMap = 

    95 		final Map<IDeviceDiscoveryAgent, IPrerequisiteStatus> agentToStatusMap = 

    93 			new HashMap<IDeviceDiscoveryAgent, IPrerequisiteStatus>();

    96 			new HashMap<IDeviceDiscoveryAgent, IPrerequisiteStatus>();

    94 		

    97 		

    95 		// load the extensions just to check statuses

    98 		// load the extensions just to check statuses

    96 		Collection<IDeviceDiscoveryAgent> agents = new ArrayList<IDeviceDiscoveryAgent>();

    99 		Collection<IDeviceDiscoveryAgent> agents = new ArrayList<IDeviceDiscoveryAgent>();