docs: public static IJavaProject getJavaProject(ILaunchConfiguration configuration)
  			throws CoreException {
  		String projectName = getJavaProjectName(configuration);
  		if (projectName != null) {
  			projectName = projectName.trim();
  			if (projectName.length() > 0) {
  				final IProject project = ResourcesPlugin.getWorkspace().getRoot()
  						.getProject(projectName);
  				final IJavaProject javaProject = JavaCore.create(project);
  				if (javaProject != null && javaProject.exists()) {
  					return javaProject;
  				}
  			}
  		}
  		return null;
  	}