buf.append(pages.getBuffers()).append(" / "); buf.append(pages.getUsedBuffers()).append(" / "); buf.append(pages.getHits()).append(" / "); buf.append(pages.getFails());
buf.append(dataCache.getBuffers()).append(" / "); buf.append(dataCache.getUsedBuffers()).append(" / "); buf.append(dataCache.getHits()).append(" / "); buf.append(dataCache.getFails());
	public void printStatistics() {		super.printStatistics();		if(pages != null) {			StringBuffer buf = new StringBuffer();			buf.append(getFile().getName()).append(" DATA ");			buf.append(pages.getBuffers()).append(" / ");			buf.append(pages.getUsedBuffers()).append(" / ");			buf.append(pages.getHits()).append(" / ");			buf.append(pages.getFails());			LOG.info(buf.toString());		}	}