docs: protected static String getJavaProjectName(ILaunchConfiguration configuration)
  			throws CoreException {
  		return configuration.getAttribute(
  				IJavaLaunchConfigurationConstants.ATTR_PROJECT_NAME,
  				(String) null);
  	}