docs: protected LaunchConfigurationElement[] getLaunchConfigurations() {
  		ArrayList<ExistingLaunchConfigurationElement> result= new ArrayList<>();
  
  		try {
  			ILaunchManager manager= DebugPlugin.getDefault().getLaunchManager();
  			ILaunchConfigurationType type= manager.getLaunchConfigurationType(IJavaLaunchConfigurationConstants.ID_JAVA_APPLICATION);
  			ILaunchConfiguration[] launchconfigs= manager.getLaunchConfigurations(type);
  
  			for (int i= 0; i < launchconfigs.length; i++) {
  				ILaunchConfiguration launchconfig= launchconfigs[i];
  				if (!launchconfig.getAttribute(IDebugUIConstants.ATTR_PRIVATE, false)) {
  					String projectName= launchconfig.getAttribute(IJavaLaunchConfigurationConstants.ATTR_PROJECT_NAME, ""); //$NON-NLS-1$
  					result.add(new ExistingLaunchConfigurationElement(launchconfig, projectName));
  				}
  			}
  		} catch (CoreException e) {
  			JavaPlugin.log(e);
  		}
  
  		return result.toArray(new LaunchConfigurationElement[result.size()]);
  	}