void releaseReadOnlyNode(int bufferId) throws IOException {
		BTreeNode node = nodeTable.get(bufferId);
		if (node.getBuffer().isDirty()) {
			// There is a possible leafRecordCount error if buffer is released multiple times
			throw new IOException("Releasing modified buffer node as read-only");
		}
		if (node instanceof RecordNode) {
			leafRecordCnt -= node.getKeyCount();
		}
		bufferMgr.releaseBuffer(node.getBuffer());
		nodeTable.remove(bufferId);
	}
Release a specific read-only buffer node.
WARNING! This method may only be used to release read-only buffers,
if a release buffer has been modified an IOException will be thrown.
@param bufferId buffer ID
@throws IOException if IO error occurs on database
Ghidra/Framework/DB/src/main/java/db/NodeMgr.java