if(pages != null)
if(dataCache != null)
	public BufferStats getDataBufferStats() {		if(pages != null)			return new BufferStats(				pages.getBuffers(),				pages.getUsedBuffers(),				pages.getHits(),				pages.getFails());		return null;	}