public static ExtensionDetails createExtensionFromProperties(File file) {
		try {
			return tryToLoadExtensionFromProperties(file);
		}
		catch (IOException e) {
			log.error("Error loading extension properties from " + file.getAbsolutePath(), e);
			return null;
		}
	}
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