commit ed161048b2a420823cb13de314a961c386751403
author Michael Bien <mbien42@gmail.com> Thu Sep 22 21:16:59 2022 +0200
committer GitHub <noreply@github.com> Thu Sep 22 21:16:59 2022 +0200
tree 84675e06a143944e77582d82e624aaba73cd8b57
parent 28cffca1954aaafbddc8a2b9cbdaa6c0e7464e01
parent e36142dfb4b357cb1c571fdae46cae0d79a34b0a

Merge pull request #4672 from errael/HintAvoidUsingInvalidJavaPlatform

Avoid using an invalid JavaPlatform

java/spi.java.hints/src/org/netbeans/modules/java/hints/spiimpl/Utilities.java

diff --git a/java/spi.java.hints/src/org/netbeans/modules/java/hints/spiimpl/Utilities.java b/java/spi.java.hints/src/org/netbeans/modules/java/hints/spiimpl/Utilities.java
index b0accad..431f68a 100644
--- a/java/spi.java.hints/src/org/netbeans/modules/java/hints/spiimpl/Utilities.java
+++ b/java/spi.java.hints/src/org/netbeans/modules/java/hints/spiimpl/Utilities.java
@@ -1083,7 +1083,7 @@
             final JavaPlatformManager man = JavaPlatformManager.getDefault();
             if (select.getSpecification().getVersion() != null) {
                 for (JavaPlatform p : JavaPlatformManager.getDefault().getInstalledPlatforms()) {
-                    if (!"j2se".equals(p.getSpecification().getName()) || p.getSpecification().getVersion() == null) continue;
+                    if (!p.isValid() || !"j2se".equals(p.getSpecification().getName()) || p.getSpecification().getVersion() == null) continue;
                     if (p.getSpecification().getVersion().compareTo(select.getSpecification().getVersion()) > 0) {
                         select = p;
                     }