docs: static void restorePom(IProject project, IProgressMonitor monitor) throws CoreException {
  		final IFile pomFile = project.getFile(POM_FILE);
  		final IFile savedPomFile = project.getFile(POM_BACKUP_FILE);
  		pomFile.refreshLocal(IResource.DEPTH_ZERO, monitor);
  		savedPomFile.refreshLocal(IResource.DEPTH_ZERO, monitor);
  		monitor.worked(1);
  		if (savedPomFile.exists()) {
  			final SubMonitor submon = SubMonitor.convert(monitor, 3);
  			if (pomFile.exists()) {
  				pomFile.delete(true, false, submon);
  			} else {
  				submon.worked(1);
  			}
  			savedPomFile.copy(pomFile.getFullPath(), true, submon);
  			savedPomFile.delete(true, false, monitor);
  			submon.worked(1);
  		} else {
  			monitor.worked(1);
  		}
  	}