private void readIdentifiersFile() {
		try {
			File f = new File(new File(path), IDENTIFIER_NAMES);
			if (!f.exists()) {
				return;
			}
			BufferedReader buff = new BufferedReader(new FileReader(f));
			while (true) {
				String line = buff.readLine();
				if (line == null) {
					break;
				}
				getIdentifierId(line); // Creates a new identifier mapping since the identifier map should be empty.
			}
			buff.close();
		} catch (IOException ex) {
			throw new RuntimeException(ex);
		}
	}