615
632
public void setDefaults(ILaunchConfigurationWorkingCopy configuration) {
616
633
launchConfigurationWorkingCopy = configuration;
619
639
configuration.setAttribute(LaunchConfigurationConstants.ATTR_GENERAL_TRACECHILD, LaunchConfigurationConstants.DEFAULT_GENERAL_TRACECHILD);
620
640
configuration.setAttribute(LaunchConfigurationConstants.ATTR_GENERAL_FREERES, LaunchConfigurationConstants.DEFAULT_GENERAL_FREERES);