public static PluginTool openInMostRecentOrLaunchedCompatibleTool(PluginTool tool,
			DomainFile domainFile) {
		Objects.requireNonNull(domainFile);
		DomainFile[] data = new DomainFile[] { domainFile };
		PluginTool result = inRunningToolsPreferringActive(tool, pt -> {
			return pt.acceptDomainFiles(data) ? pt : null;
		});
		if (result != null) {
			return result;
		}
		return tool.getToolServices().launchDefaultTool(List.of(domainFile));
	}
Opens the given domain file in the most recent tool which can accept it, or it launches a new
tool to accept it

<p>
TODO: This currently fails in the "most-recent" aspect if a non-compatible tool has focus. In
that case, it'll pick any compatible tool, no matter how recently it had focus.

@param tool the front-end tool
@param domainFile the domain file to open (may not be null)
@return the (possibly new) plugin tool which accepted the domain file
Ghidra/Debug/ProposedUtils/src/main/java/ghidra/framework/plugintool/PluginToolUtils.java