public void checkIn(PluginTool tool, DomainFile domainFile) {
		checkIn(tool, List.of(domainFile), tool.getToolFrame());
	}
Check in the given domain file.

@param tool tool that has the domain file opened
@param domainFile domain file to check in
Ghidra/Framework/Project/src/main/java/ghidra/framework/main/FrontEndTool.java