public File getLaunchPropertiesFile() {
		return launchPropertiesFile;
	}
Get the launch properties storage file.
NOTE: File is intended for read-only use by application.
@return launch properties file
GhidraBuild/LaunchSupport/src/main/java/ghidra/launch/LaunchProperties.java