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

specify default value because no registry during build

Browse Source 
GitOrigin-RevId: eec4a570331b2ce0a9adfa557e2aaf585c092801
This commit is contained in:
Vladimir Krivosheev
2020-02-12 19:11:33 +00:00
committed by intellij-monorepo-bot
parent 4abd8b7270
commit d843e6b7d1
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
jps/model-impl/src/org/jetbrains/jps/model/java/impl/JavaSdkUtil.java
+3 -3
View File
@@ -1,4 +1,4 @@
// Copyright 2000-2019 JetBrains s.r.o. Use of this source code is governed by the Apache 2.0 license that can be found in the LICENSE file.
// Copyright 2000-2020 JetBrains s.r.o. Use of this source code is governed by the Apache 2.0 license that can be found in the LICENSE file.
package org.jetbrains.jps.model.java.impl;
import com.intellij.openapi.util.SystemInfo;
@@ -21,7 +21,7 @@ import java.util.Set;
import static com.intellij.util.ObjectUtils.notNull;
public class JavaSdkUtil {
public final class JavaSdkUtil {
@NotNull
public static List<File> getJdkClassesRoots(@NotNull File home, boolean isJre) {
File[] jarDirs;
@@ -55,7 +55,7 @@ public class JavaSdkUtil {
FileFilter jarFileFilter = FileFilters.filesWithExtension("jar");
Set<String> pathFilter = new THashSet<>(FileUtil.PATH_HASHING_STRATEGY);
List<File> rootFiles = new ArrayList<>();
if (Registry.is("project.structure.add.tools.jar.to.new.jdk")) {
if (Registry.is("project.structure.add.tools.jar.to.new.jdk", false)) {
File toolsJar = new File(home, "lib/tools.jar");
if (toolsJar.isFile()) {
rootFiles.add(toolsJar);