private static void updateFilenameToMatchToolName(File toolFile,
			GhidraToolTemplate toolTemplate) {
		if (toolTemplate == null) {
			return; // there must have been a problem creating the template
		}

		File correctToolFile = getToolFile(toolTemplate.getName());
		if (correctToolFile.equals(toolFile)) {
			return; // nothing to update
		}

		if (removeLastExtension(correctToolFile.getName()).equals(
			NamingUtilities.mangle(toolTemplate.getName()))) {
			return; // nothing to update
		}

		// If we get here, then we have two differently named files (the new one needs to replace
		// the outdated old one).  Make sure the files live in the same directory (otherwise, 
		// we can't delete the old one (this implies it is a default tool)).
		if (correctToolFile.getParentFile().equals(toolFile.getParentFile())) {
			// same parent directory, but different filename
			toolFile.delete();
		}

		writeToolTemplate(toolTemplate);
	}
Returns all tools found in the classpath that live under a root
'defaultTools' directory or a root 'extraTools' directory

@return the tools
Ghidra/Framework/Project/src/main/java/ghidra/framework/ToolUtils.java