private void disposeNode(BufferNode node, boolean isVersioned) {
		node.removeFromCheckpoint();
		if (isVersioned) {
			node.removeFromVersion();
		}
		if (node.buffer != null) {
			freeBuffers.push(node.buffer);
			removeFromCache(node);
		}
		if (node.diskCacheIndex >= 0) {
			cacheIndexProvider.freeIndex(node.diskCacheIndex);
			node.diskCacheIndex = -1;
		}
	}
Dispose a checkpoint buffer node.
Node is removed from all applicable lists and the disk
cache index added to free index list.
@param node buffer node to dispose
Ghidra/Framework/DB/src/main/java/db/buffers/BufferMgr.java