docs: protected void verifyAgentName(ILaunchConfiguration configuration) throws CoreException {
  		final String name = getAgentName(configuration);
  		if (name == null) {
  			abort(
  					io.sarl.eclipse.launching.dialog.Messages.MainLaunchConfigurationTab_2,
  					null,
  					SARLEclipseConfig.ERR_UNSPECIFIED_AGENT_NAME);
  		}
  	}