public static synchronized void delete(File packedDbFile) throws IOException {
		LockFile updateLock = getUpdateLock(packedDbFile);
		lock(updateLock, false, false);
		try {
			if (packedDbFile.exists() && !packedDbFile.delete()) {
				throw new IOException("File is in use or write protected");
			}
		}
		finally {
			updateLock.removeLock();
		}
	}
Deletes the storage file associated with this packed database.
@param packedDbFile packed DB file to be removed
@throws FileInUseException if packed DB is currently locked and in use
@throws IOException if an IO error occurs (e.g., file in-use or write-protected)
Ghidra/Framework/FileSystem/src/main/java/ghidra/framework/store/db/PackedDatabase.java