public void launchTool(DomainFile domainFile) {
		openFilesAndOpenToolAsNecessary(List.of(domainFile), null);
	}
Construct a tool label that represents a running tool.
Ghidra/Framework/Project/src/main/java/ghidra/framework/main/ToolButton.java