synchronized void versionDeleted(int version, String user) throws IOException {
		validate();
		if (versions.length <= 1) {
			// Check should have been performed by item - item should be deleted instead
			item.log("ERROR! version " + version + " deleted illegally, min=" + minVersion +
				", max=" + curVersion, user);
			return;
		}

		Version[] newVersions = new Version[versions.length - 1];
		if (version == versions[0].getVersion()) {
			System.arraycopy(versions, 1, newVersions, 0, versions.length - 1);
			minVersion = newVersions[0].getVersion();
		}
		else if (version == versions[versions.length - 1].getVersion()) {
			System.arraycopy(versions, 0, newVersions, 0, versions.length - 1);
			curVersion = newVersions[newVersions.length - 1].getVersion();
		}
		else {
			// Check should have been performed by item
			item.log("ERROR! version " + version + " deleted illegally, min=" + minVersion +
				", max=" + curVersion, user);
			return;
		}
		item.log("version " + version + " deleted", user);
		versions = newVersions;
		writeHistoryFile();
	}
Remove the specified version from the history data.
This method only modifies the data if the minimum or
latest version is specified.
@param version minimum or latest version
Ghidra/Framework/FileSystem/src/main/java/ghidra/framework/store/local/HistoryManager.java