String threshold = (String)props.get(DETECTOR_THRESHOLD_KEY); if (threshold != null) { try { detectorThreshold = Integer.parseInt(threshold); } 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++;		}		    	}