From ceaa5685fe7f51dae0ce444407d2aea7a49b8896 Mon Sep 17 00:00:00 2001 From: Lakshminarayana Nekkanti Date: Mon, 3 Jun 2019 15:12:13 +0530 Subject: Bug 542708 - stale JRE shown in Package Explorer after changing it from 9 or above to 11 Change-Id: Ia9ef62a7e90fb12c9107bfaaf2f47af97fca75fb Signed-off-by: Lakshminarayana Nekkanti --- .../jdt/internal/ui/packageview/PackageExplorerContentProvider.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/eclipse.jdt.ui/org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/packageview/PackageExplorerContentProvider.java b/eclipse.jdt.ui/org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/packageview/PackageExplorerContentProvider.java index ff62fa9eda..143364142a 100644 --- a/eclipse.jdt.ui/org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/packageview/PackageExplorerContentProvider.java +++ b/eclipse.jdt.ui/org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/packageview/PackageExplorerContentProvider.java @@ -657,7 +657,7 @@ public class PackageExplorerContentProvider extends StandardJavaElementContentPr return false; } // if the class path has changed we refresh the entire project - if ((flags & IJavaElementDelta.F_RESOLVED_CLASSPATH_CHANGED) != 0) { + if ((flags & (IJavaElementDelta.F_CLASSPATH_CHANGED | IJavaElementDelta.F_RESOLVED_CLASSPATH_CHANGED)) != 0) { postRefresh(element, ORIGINAL, element, runnables); return false; } -- cgit v1.2.1