private void initIgnored() {
		if (!fIgnore.isFile())
			return;
		String line;
		try {
			BufferedReader br = new BufferedReader(new FileReader(fIgnore));
			while ((line = br.readLine()) != null) {
				ignoredList.add(new File(line));
			}
			br.close();
		} catch (FileNotFoundException e) {
			// checked with ".exists()"
		} catch (IOException e) {
			System.err.print("Warning: I/O exception when reading " + fIgnore);
		}
	}