@Override
	public int getCurrentVersion() {
		return cur;
	}
<code>DummyBufferFileMgr</code> produces buffer file names and 
tracks the current buffer file version.  No maintenance of buffer
files is provided.
Ghidra/Framework/DB/src/test/java/db/buffers/DummyBufferFileMgr.java