Entry entry = new Entry(Long.parseLong(elements[0]), Integer.parseInt(elements[1])); table.put(file, entry);
if (changed.indexOf(file) == -1) { Entry entry = new Entry(Long.parseLong(elements[0]), Integer.parseInt(elements[1])); table.put(file, entry); } else { Entry entry = (Entry)table.get(file); entry.setId(entry.getId() + 1); table.put(file, entry); }
	private void restore() throws IOException {		if (!tableFile.exists())			return;		try {			FileInputStream input = new FileInputStream(tableFile);			try {				table.load(input);			} finally {				input.close();			}		} catch (IOException e) {			throw new IOException("could not restore file table");		}		for (Enumeration e = table.keys(); e.hasMoreElements();) {			String file = (String)e.nextElement();			String[] elements = getArrayFromList((String)table.get(file));			Entry entry = new Entry(Long.parseLong(elements[0]), Integer.parseInt(elements[1]));			table.put(file, entry);		}	}