private void returnFreeBuffer(DataBuffer buf) {

		++buffersOnHand;
		freeBuffers.push(buf);
	}
Return a reusable buffer to the cache.
@param buf buffer to be returned.
Ghidra/Framework/DB/src/main/java/db/buffers/BufferMgr.java