Fixes #2960 - remove duplicate org.eclipse.search classes#2961

Merged

rgrunber merged 1 commit intoeclipse-jdtls:masterfrom robstryker:issue2960

Nov 16, 2023

+6-2,318

Commits on Nov 16, 2023

Fixes eclipse-jdtls#2960 - remove duplicate org.eclipse.search classes
robstryker
committed