code: 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;
  	}
docs: initialize the launch configuration.
  
  @param configurationType the name of the configuration type to create.
  @param projectName the name of the project.
  @param id the identifier of the launch configuration.
  @param resetJavaMainClass indicates if the JAva main class should be reset from the SRE configuration.
  @return the created launch configuration.
  @throws CoreException if the configuration cannot be created.
  @since 0.7