docs: protected void updateAgentNameFromConfig(ILaunchConfiguration config) {
  		final String agentName = this.accessor.getAgent(config);
  		this.agentNameTextField.setText(Strings.nullToEmpty(agentName));
  	}