do not crash wizard if src folder is already created

diverse-project · Aug 4, 2023 · 24a548d · 24a548d
1 parent 6db0518
commit 24a548d
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/k3.eclipse/fr.inria.diverse.k3.ui/src/fr/inria/diverse/k3/ui/wizards/NewK3ProjectWizard.java b/k3.eclipse/fr.inria.diverse.k3.ui/src/fr/inria/diverse/k3/ui/wizards/NewK3ProjectWizard.java
@@ -167,8 +167,10 @@ public void configureProject(IProject project, IProgressMonitor monitor) {
 			}
 			createSettingsResourcePrefs(project, monitor);
 
-			IFolderUtils.createFolder(sourceFolderName + getContextNamePackage().replaceAll("\\.", "/"), project,
-					monitor);
+			String folderName = sourceFolderName + getContextNamePackage().replaceAll("\\.", "/");
+			if (!project.getFolder(folderName).exists()) {
+				IFolderUtils.createFolder(folderName, project, monitor);
+			}
 			/*
 			 * if(context.ecoreIFile != null){ createProjectWithEcore(monitor,
 			 * sourceFolderName); } else { if(context.useEMF){