diff --git a/KeY4Eclipse/src/plugins/org.key_project.key4eclipse.common.ui/src/org/key_project/key4eclipse/common/ui/wizard/AbstractNewJavaProjectWizard.java b/KeY4Eclipse/src/plugins/org.key_project.key4eclipse.common.ui/src/org/key_project/key4eclipse/common/ui/wizard/AbstractNewJavaProjectWizard.java
index 9cd688bf6c5..c03128f69f2 100644
--- a/KeY4Eclipse/src/plugins/org.key_project.key4eclipse.common.ui/src/org/key_project/key4eclipse/common/ui/wizard/AbstractNewJavaProjectWizard.java
+++ b/KeY4Eclipse/src/plugins/org.key_project.key4eclipse.common.ui/src/org/key_project/key4eclipse/common/ui/wizard/AbstractNewJavaProjectWizard.java
@@ -111,6 +111,7 @@ protected IResource getSourceDirectory() throws JavaModelException {
             if (roots[i].getResource() != null) {
                sourceDirectory = roots[i].getResource();
             }
+            i++;
          }
       }
       return sourceDirectory;