code: protected static String getJavaProjectName(ILaunchConfiguration configuration)
  			throws CoreException {
  		return configuration.getAttribute(
  				IJavaLaunchConfigurationConstants.ATTR_PROJECT_NAME,
  				(String) null);
  	}
docs: Returns the Java project name specified by the given launch
  configuration, or <code>null</code> if none.
  
  @param configuration
  launch configuration
  @return the Java project name specified by the given launch
  configuration, or <code>null</code> if none
  @exception CoreException
  if unable to retrieve the attribute