public void mount(File f, boolean deleteFileWhenDone, TaskMonitor monitor)
			throws CancelledException, IOException {

		// Just a little paranoia to ensure we don't delete a user's file.
		// The ZipFileSystemFactory knows to create temp files with this prefix.
		deleteFileWhenDone = deleteFileWhenDone && f.getName().startsWith(TEMPFILE_PREFIX);

		int openMode = deleteFileWhenDone
				? ZipFile.OPEN_READ | ZipFile.OPEN_DELETE
				: ZipFile.OPEN_READ;
		this.zipFile = new ZipFile(f, openMode);

		Enumeration<? extends ZipEntry> entries = zipFile.entries();
		while (entries.hasMoreElements()) {
			monitor.checkCancelled();
			ZipEntry currentEntry = entries.nextElement();
			fsIndex.storeFile(currentEntry.getName(), -1, currentEntry.isDirectory(),
				currentEntry.getSize(), currentEntry);
		}
	}
An alternative implementation of the zip file system, using java's built-in support
for zip files.
<p>
This class is used when the 7zip libraries fail to load, typically on a non-supported
platform.
<p>
The user will lose the ability to open password protected zip files when operating in this
mode, as well as the ability to use obfuscated temp files, which may allow a virusscanner
to mangle our temp files.
<p>
This class's name does not end in "FileSystem", so that it will not be found by the class searcher.
<p>
It also needs to duplicate the FileSystemInfo annotation to allow {@link GFileSystem#getType()}
and {@link GFileSystem#getDescription()} to operate in the default manner.
Ghidra/Features/FileFormats/src/main/java/ghidra/file/formats/zip/ZipFileSystemBuiltin.java