code: protected ILaunchConfiguration findLaunchConfiguration(String projectName,
  			ILaunchConfigurationType configType)
  	{
  		List<ILaunchConfiguration> candidateConfigs = Collections.emptyList();
  		try
  		{
  			ILaunchConfiguration[] configs = DebugPlugin.getDefault().getLaunchManager().getLaunchConfigurations(configType);
  			candidateConfigs = new ArrayList<ILaunchConfiguration>(configs.length);
  			for (int i = 0; i < configs.length; i++)
  			{
  				ILaunchConfiguration config = configs[i];
  
  				// String defaultModule = config.getAttribute(IDebugConstants.VDM_LAUNCH_CONFIG_DEFAULT, "");
  				String pName = config.getAttribute(IDebugConstants.VDM_LAUNCH_CONFIG_PROJECT, "");
  				// String operation = config.getAttribute(IDebugConstants.VDM_LAUNCH_CONFIG_OPERATION, "");
  
  				if (// defaultModule.equals(getModuleName(type).toString())
  					// &&
  				pName.equalsIgnoreCase(projectName)
  				// && operation.equals(getOperationName(type) + "()")
  				)
  				{ //$NON-NLS-1$
  					candidateConfigs.add(config);
  				}
  			}
  
  		} catch (CoreException e)
  		{
  			// JDIDebugUIPlugin.log(e);
  		}
  		int candidateCount = candidateConfigs.size();
  		if (candidateCount == 1)
  		{
  			return (ILaunchConfiguration) candidateConfigs.get(0);
  		} else if (candidateCount > 1)
  		{
  			return chooseConfiguration(candidateConfigs);
  			// return candidateConfigs.get(0);
  		}
  		return null;
  	}
docs: Finds and returns an <b>existing</b> configuration to re-launch for the given type, or <code>null</code> if there
  is no existing configuration.
  
  @return a configuration to use for launching the given type or <code>null</code> if none