buffer = new ClockPageBuffer(dataBuffers);
dataCache = new ClockCache(dataBuffers); dataCache.setFileName("dom.dbx");
	public DOMFile(int buffers, int dataBuffers) {		super(buffers);		lock = new ReentrantReadWriteLock("dom.dbx");		fileHeader = (DOMFileHeader) getFileHeader();		fileHeader.setPageCount(0);		fileHeader.setTotalCount(0);		buffer = new ClockPageBuffer(dataBuffers);	}