void abort() throws IOException {
		
		if (versionFile == null)
			return;
		
		if (readOnly) {
			versionFile.close();
		}		
		else if (initialBufCount > 0) {
			LocalBufferFile updateVerFile = (LocalBufferFile)versionFile;
			updateVerFile.truncate(initialBufCount);
			updateVerFile.close();
		}
		else {
			versionFile.delete();
		}
		versionFile = null;
		file = null;
	}
Abort the creation/update of this version file.
This method should be invoked in place of close on a failure condition.
An attempt is made to restore the version file to its initial state
or remove it if it was new.
@throws IOException
Ghidra/Framework/DB/src/main/java/db/buffers/VersionFile.java