String threshold = (String) props.get(DETECTOR_THRESHOLD_KEY); if (threshold != null) { try { detectorThreshold = Integer.parseInt(threshold); } catch (NumberFormatException nfe) {
if (props.get(FILTER_SETTINGS_KEY) != null) {  filterSettings = ProjectFilterSettings.fromEncodedString(props.getProperty(FILTER_SETTINGS_KEY)); } else {   String threshold = (String) props.get(DETECTOR_THRESHOLD_KEY); if (threshold != null) { try { int detectorThreshold = Integer.parseInt(threshold); setUserDetectorThreshold(detectorThreshold); } catch (NumberFormatException nfe) {  }
	public void read() {		File prefFile = new File(System.getProperty("user.home"), "Findbugs.prefs");		if (!prefFile.exists() || !prefFile.isFile())			return;		BufferedInputStream prefStream = null;		Properties props = new Properties();		try {			prefStream = new BufferedInputStream(new FileInputStream(prefFile));			props.load(prefStream);		} catch (Exception e) {			//Report? - probably not		} finally {			try {				if (prefStream != null)					prefStream.close();			} catch (IOException ioe) {			}		}		if (props.size() == 0)			return;		for (int i = 0; i < MAX_RECENT_FILES; i++) {			String key = "recent" + i;			String projectName = (String) props.get(key);			if (projectName != null)				recentProjectsList.add(projectName);		}		int i = 0;		while (true) {			String key = "detector" + i;			String detectorState = (String) props.get(key);			if (detectorState == null)				break;			int pipePos = detectorState.indexOf("|");			if (pipePos >= 0) {				String name = detectorState.substring(0, pipePos);				String enabled = detectorState.substring(pipePos + 1);				detectorStateList.put(name, Boolean.valueOf(enabled));			}			i++;		}		String threshold = (String) props.get(DETECTOR_THRESHOLD_KEY);		if (threshold != null) {			try {				detectorThreshold = Integer.parseInt(threshold);			} catch (NumberFormatException nfe) {				//Ok to ignore			}		}	}