docs: protected ILaunchConfigurationWorkingCopy initLaunchConfiguration(String configurationType, String projectName,
  			String id, boolean resetJavaMainClass) throws CoreException {
  		final ILaunchManager launchManager = DebugPlugin.getDefault().getLaunchManager();
  		final ILaunchConfigurationType configType = launchManager.getLaunchConfigurationType(configurationType);
  		final ILaunchConfigurationWorkingCopy wc = configType.newInstance(null, launchManager.generateLaunchConfigurationName(id));
  		setProjectName(wc, projectName);
  		setDefaultContextIdentifier(wc, null);
  		setLaunchingFlags(wc, DEFAULT_SHOW_LOGO, DEFAULT_SHOW_LOG_INFO, DEFAULT_OFFLINE);
  		setRuntimeConfiguration(wc, SARLRuntime.getDefaultSREInstall(), DEFAULT_USE_SYSTEM_SRE, DEFAULT_USE_PROJECT_SRE, resetJavaMainClass);
  		JavaMigrationDelegate.updateResourceMapping(wc);
  		return wc;
  	}