diff options
| -rw-r--r-- | org.eclipse.jdt.core/model/org/eclipse/jdt/internal/core/builder/ClasspathJrtWithReleaseOption.java | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/org.eclipse.jdt.core/model/org/eclipse/jdt/internal/core/builder/ClasspathJrtWithReleaseOption.java b/org.eclipse.jdt.core/model/org/eclipse/jdt/internal/core/builder/ClasspathJrtWithReleaseOption.java index 6207656dc3..d55460d8c9 100644 --- a/org.eclipse.jdt.core/model/org/eclipse/jdt/internal/core/builder/ClasspathJrtWithReleaseOption.java +++ b/org.eclipse.jdt.core/model/org/eclipse/jdt/internal/core/builder/ClasspathJrtWithReleaseOption.java @@ -360,12 +360,12 @@ public class ClasspathJrtWithReleaseOption extends ClasspathJrt { @Override public boolean hasModule() { - return this.modPathString != null; + return this.fs == null ? super.hasModule() : this.modPathString != null; } @Override protected String getKey() { - return this.modPathString; + return this.fs == null ? super.getKey() : this.modPathString; } @Override |