docs: protected void createLaunchOptionEditor(Composite parent, String text) {
  		final Group group = SWTFactory.createGroup(parent, text, 1, 1, GridData.FILL_HORIZONTAL);
  		this.enableAssertionsInRunModeButton = createCheckButton(group, Messages.SARLMainLaunchConfigurationTab_2);
  		this.enableAssertionsInRunModeButton.addSelectionListener(this.defaultListener);
  		this.enableAssertionsInDebugModeButton = createCheckButton(group, Messages.SARLMainLaunchConfigurationTab_1);
  		this.enableAssertionsInDebugModeButton.addSelectionListener(this.defaultListener);
  		this.runInEclipseButton = createCheckButton(group, Messages.SARLMainLaunchConfigurationTab_0);
  		this.runInEclipseButton.addSelectionListener(this.defaultListener);
  	}