docs: protected void updateContextIdentifierTypeFromConfig(ILaunchConfiguration config) {
  		final RootContextIdentifierType type = this.accessor.getDefaultContextIdentifier(config);
  		assert type != null;
  		switch (type) {
  		case RANDOM_CONTEXT_ID:
  			this.randomContextIdentifierButton.setSelection(true);
  			break;
  		case BOOT_AGENT_CONTEXT_ID:
  			this.bootContextIdentifierButton.setSelection(true);
  			break;
  		case DEFAULT_CONTEXT_ID:
  		default:
  			this.defaultContextIdentifierButton.setSelection(true);
  			break;
  		}
  	}