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 <narayana.nekkanti@gmail.com>
---
 .../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