Skip to content

Commit 08a4116

Browse files
authored
fix bug: jdt search might return multiple same projects (microsoft#76)
Signed-off-by: xuzho <xuzho@microsoft.com>
1 parent 6765bac commit 08a4116

1 file changed

Lines changed: 2 additions & 1 deletion

File tree

com.microsoft.java.debug.plugin/src/main/java/com/microsoft/java/debug/plugin/internal/ResolveClasspathsHandler.java

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -15,6 +15,7 @@
1515
import java.util.List;
1616
import java.util.logging.Level;
1717
import java.util.logging.Logger;
18+
import java.util.stream.Collectors;
1819

1920
import org.eclipse.core.resources.IProject;
2021
import org.eclipse.core.resources.IWorkspaceRoot;
@@ -106,7 +107,7 @@ public void acceptSearchMatch(SearchMatch match) {
106107
SearchEngine.getDefaultSearchParticipant() }, scope,
107108
requestor, null /* progress monitor */);
108109

109-
return projects;
110+
return projects.stream().distinct().collect(Collectors.toList());
110111
}
111112

112113
/**

0 commit comments

Comments
 (0)