From fbe5d4b7dbad2a56bd867db737b5bafc335e298f Mon Sep 17 00:00:00 2001 From: Warren Paul Date: Tue, 17 Jun 2008 15:29:53 +0000 Subject: [PATCH] fixed bug #237385. --- .../src/org/eclipse/cdt/core/resources/EFSFileStorage.java | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/core/org.eclipse.cdt.core/src/org/eclipse/cdt/core/resources/EFSFileStorage.java b/core/org.eclipse.cdt.core/src/org/eclipse/cdt/core/resources/EFSFileStorage.java index e0db10a41bd..2242b83d727 100644 --- a/core/org.eclipse.cdt.core/src/org/eclipse/cdt/core/resources/EFSFileStorage.java +++ b/core/org.eclipse.cdt.core/src/org/eclipse/cdt/core/resources/EFSFileStorage.java @@ -117,4 +117,11 @@ public class EFSFileStorage extends PlatformObject implements IStorage { return locationURI; } + @Override + public boolean equals(Object obj) { + if (obj instanceof EFSFileStorage && locationURI != null) { + return locationURI.equals(((EFSFileStorage)obj).getLocationURI()); + } + return false; + } }