private static void findExtensionsInFolder(File dir, Set<ExtensionDetails> results) {
		List<File> propFiles = findExtensionPropertyFiles(dir);
		for (File propFile : propFiles) {
			ExtensionDetails extension = ExtensionUtils.createExtensionFromProperties(propFile);
			if (extension == null) {
				continue;
			}

			// We found this extension in the installation directory, so set the archive path
			// property and add to the final set.
			File extDir = propFile.getParentFile();
			extension.setArchivePath(extDir.getAbsolutePath());

			if (results.contains(extension)) {
				log.error("Skipping duplicate extension \"" + extension.getName() + "\" found at " +
					extension.getInstallPath());
			}
			results.add(extension);
		}
	}
Returns all archive extensions. These are all the extensions found in
{@link ApplicationLayout#getExtensionArchiveDir}.   This are added to an installation as
part of the build processes.
<p>
Archived extensions may be zip files and directories.

@return set of archive extensions
Ghidra/Framework/Generic/src/main/java/ghidra/util/extensions/ExtensionUtils.java