if (! lock())
if (readOnly) throw new IOException(EclipseAdaptorMsg.fileManager_illegalInReadOnlyMode); if (!lock())
	public void add(String file) throws IOException {		if (! lock())			throw new IOException(EclipseAdaptorMsg.fileManager_cannotLock);		try {			updateTable();			Entry entry = (Entry) table.get(file);			if (entry == null) {				table.put(file, new Entry(0, 1));				save();			}		} finally {			release();		}	}