String readNumber = diskTable.getProperty(file); if (readNumber != null) {
String value = diskTable.getProperty(file); if (value != null) {
	private void updateTable() throws IOException {		if (!tableFile.exists())			return;		long stamp = tableFile.lastModified();		if (stamp == tableStamp)			return;		initializeInstanceFile();		Properties diskTable = new Properties();		try {			FileInputStream input = new FileInputStream(tableFile);			try {				diskTable.load(input);			} finally {				input.close();			}		} catch (IOException e) {			throw e; // rethrow the exception, we have nothing to add here		}		tableStamp = stamp;		for (Enumeration e = diskTable.keys(); e.hasMoreElements();) {			String file = (String) e.nextElement();			String readNumber = diskTable.getProperty(file);			if (readNumber != null) {				Entry entry = (Entry) table.get(file);				int id = Integer.parseInt(readNumber);				if (entry == null) {					table.put(file, new Entry(id, id + 1));				} else {					entry.setWriteId(id + 1);				}			}		}	}