# Debugging options for the org.eclipse.search plug-in # Reports performance of text searches org.eclipse.search/perf=false