MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

fixed finding JDK in java.home

Browse Source
This commit is contained in:
Dmitry Avdeev
2017-04-28 13:43:03 +03:00
parent a03c0267e2
commit d2358a36b1
1 changed files with 4 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
java/java-impl/src/com/intellij/openapi/projectRoots/impl/JavaHomeFinder.java
+4 -2
View File
@@ -64,8 +64,10 @@ public abstract class JavaHomeFinder {
return new DefaultFinder();
}
protected static void scanFolder(File javasFolder, List<String> result) {
@SuppressWarnings("RedundantCast") File[] candidates = javasFolder.listFiles((FileFilter)JdkUtil::checkForJdk);
protected static void scanFolder(File folder, List<String> result) {
if (JdkUtil.checkForJdk(folder))
result.add(folder.getAbsolutePath());
@SuppressWarnings("RedundantCast") File[] candidates = folder.listFiles((FileFilter)JdkUtil::checkForJdk);
if (candidates != null) {
for (File file : candidates) {
result.add(file.getAbsolutePath());