if (tableStamp != tableFile.lastModified()) updateTable();
updateTable();
	private void save() throws IOException {		if (readOnly)			return;		// if the table file has change on disk, update our data structures then		// rewrite the file.		if (tableStamp != tableFile.lastModified())			updateTable();		Properties props = new Properties();		for (Enumeration e = table.keys(); e.hasMoreElements();) {			String file = (String) e.nextElement();			Entry entry = (Entry) table.get(file);			String value = Integer.toString(entry.getWriteId() - 1); //In the table we save the write  number  - 1, because the read number can be totally different.			props.put(file, value);		}		FileOutputStream fileStream = new FileOutputStream(tableFile);		try {			try {				props.store(fileStream, "safe table"); //$NON-NLS-1$			} finally {				fileStream.close();			}		} catch (IOException e) {			throw new IOException(EclipseAdaptorMsg.fileManager_couldNotSave);		}	}