public NameMapping(final String file) throws IOException {
		InputStream is = null;
		try {
			is = new BufferedInputStream(new FileInputStream(file));
			load(is);
			unused = new HashSet(keySet());
		} finally {
			if (is != null) {
				is.close();
			}
		}
	}