private String verifyExtension(String extension) {
		SystemUtilities.assertTrue(!extension.contains("/"),
			"extension cannot contain / (path separator)");
		SystemUtilities.assertTrue(!extension.contains("\\"),
			"extension cannot contain \\ (path separator)");
		int dotIndex = extension.indexOf('.');
		SystemUtilities.assertTrue(dotIndex == -1 || dotIndex == 0,
			"extension can not contain a \".\" char other than at the beginning");
		return dotIndex == -1 ? "." + extension : extension;
	}
If the Application was previously initialized with logging disabled, this method
may be used to perform delayed logging initialization.

@param logFile application log file, if null the default <i>application.log</i> will be stored
within the user's application settings directory
@param scriptLogFile scripting log file, if null the default <i>script.log</i> will be stored
within the user's application settings directory
@throws AssertException if Application has not yet been initialized, or logging
was previously configured for the application.
Ghidra/Framework/Generic/src/main/java/ghidra/framework/Application.java