docs: protected void initializeAgentName(IJavaElement javaElement, ILaunchConfigurationWorkingCopy config) {
  		String name = extractNameFromJavaElement(javaElement);
  
  		// Set the attribute
  		this.configurator.setAgent(config, name);
  
  		// Rename the launch configuration
  		if (name.length() > 0) {
  			final int index = name.lastIndexOf('.');
  			if (index > 0) {
  				name = name.substring(index + 1);
  			}
  			name = getLaunchConfigurationDialog().generateName(name);
  			config.rename(name);
  		}
  	}