public LaunchProperties getLaunchProperties() {
		return launchProperties;
	}
Gets the launch properties associated with this application configuration.

@return The launch properties associated with this application configuration.  Could be null 
  if this application configuration does not use launch properties.
GhidraBuild/LaunchSupport/src/main/java/ghidra/launch/AppConfig.java