diff --git a/org.eclipse.jdt.ls.core/src/org/eclipse/jdt/ls/core/internal/managers/StandardProjectsManager.java b/org.eclipse.jdt.ls.core/src/org/eclipse/jdt/ls/core/internal/managers/StandardProjectsManager.java index 3d53653477..d37ae3a998 100644 --- a/org.eclipse.jdt.ls.core/src/org/eclipse/jdt/ls/core/internal/managers/StandardProjectsManager.java +++ b/org.eclipse.jdt.ls.core/src/org/eclipse/jdt/ls/core/internal/managers/StandardProjectsManager.java @@ -58,6 +58,7 @@ import org.eclipse.core.runtime.Platform; import org.eclipse.core.runtime.Status; import org.eclipse.core.runtime.SubMonitor; +import org.eclipse.core.runtime.URIUtil; import org.eclipse.core.runtime.jobs.Job; import org.eclipse.jdt.core.IClasspathEntry; import org.eclipse.jdt.core.IJavaProject; @@ -175,7 +176,7 @@ public void fileChanged(String uriString, CHANGE_TYPE changeType) { List uris = getURIs(settingsUrl); boolean changed = false; for (URI settingsURI : uris) { - if (settingsURI.equals(uri)) { + if (URIUtil.sameURI(settingsURI, uri)) { changed = true; break; } @@ -193,7 +194,7 @@ public void fileChanged(String uriString, CHANGE_TYPE changeType) { List uris = getURIs(formatterUrl); boolean changed = false; for (URI formatterUri : uris) { - if (formatterUri.equals(uri)) { + if (URIUtil.sameURI(formatterUri, uri)) { changed = true; break; }