if (tableStamp != tableFile.lastModified()) restore();
	private void save() throws IOException {		Properties props = new Properties();		for (Enumeration e = table.keys(); e.hasMoreElements();) {			String file = (String)e.nextElement();			Entry entry = (Entry)table.get(file);			String value = Long.toString(entry.getTimeStamp()) + "," + Integer.toString(entry.getId());			props.put(file, value);		}				try {			props.store(fileStream, "safe table"); //$NON-NLS-1$		} catch (IOException e) {			throw new IOException("could not save file table");		}	}