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