Fix endless loop on Oxygen (at least when using macOS)

unp1 · unp1 · commit fe62903c4be3 · 2017-10-11T15:30:33.000+02:00
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
@@ -111,6 +111,7 @@ protected IResource getSourceDirectory() throws JavaModelException {
             if (roots[i].getResource() != null) {
                sourceDirectory = roots[i].getResource();
             }
+            i++;
          }
       }
       return sourceDirectory;

Original file line number	Diff line number	Diff line change
`@@ -111,6 +111,7 @@ protected IResource getSourceDirectory() throws JavaModelException {`
`111`	`111`	`if (roots[i].getResource() != null) {`
`112`	`112`	`sourceDirectory = roots[i].getResource();`
`113`	`113`	`}`
	`114`	`+ i++;`
`114`	`115`	`}`
`115`	`116`	`}`
`116`	`117`	`return sourceDirectory;`