docs: protected void createContextIdentifierTypeEditor(Composite parent, String text) {
  		final Group group = SWTFactory.createGroup(parent, text, 1, 1, GridData.FILL_HORIZONTAL);
  		this.defaultContextIdentifierButton = createRadioButton(group, Messages.MainLaunchConfigurationTab_11);
  		this.defaultContextIdentifierButton.addSelectionListener(this.defaultListener);
  		this.randomContextIdentifierButton = createRadioButton(group, Messages.MainLaunchConfigurationTab_12);
  		this.randomContextIdentifierButton.addSelectionListener(this.defaultListener);
  		this.bootContextIdentifierButton = createRadioButton(group, Messages.MainLaunchConfigurationTab_13);
  		this.bootContextIdentifierButton.addSelectionListener(this.defaultListener);
  	}