docs: protected String getAgentName(ILaunchConfiguration configuration) throws CoreException {
  		final String agentName = getConfigurationAccessor().getAgent(configuration);
  		if (agentName == null) {
  			return null;
  		}
  		return VariablesPlugin.getDefault().getStringVariableManager()
  				.performStringSubstitution(agentName);
  	}