public synchronized void open(String filePath, long pagePoolSize,
			String cryptKey) {
		Rc4File file = new Rc4File(filePath, readOnly, noFlush, cryptKey);

		try {
			open(file, pagePoolSize);
		}
		catch (StorageError ex) {
			file.close();
			throw ex;
		}
	}