public File getScriptLogFile() {
		return scriptLogFile;
	}
Returns the <b>user-defined</b> script log file.

@return Returns the <b>user-defined</b> script log file.  This is null by default and will 
only return a non-null value if it has been set by the user.
Ghidra/Framework/Generic/src/main/java/ghidra/framework/ApplicationConfiguration.java