diff options
Diffstat (limited to 'org.eclipse.help.ui/src/org/eclipse/help/ui/internal/views/EngineResultSection.java')
-rw-r--r-- | org.eclipse.help.ui/src/org/eclipse/help/ui/internal/views/EngineResultSection.java | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/org.eclipse.help.ui/src/org/eclipse/help/ui/internal/views/EngineResultSection.java b/org.eclipse.help.ui/src/org/eclipse/help/ui/internal/views/EngineResultSection.java index 6f5d91b4a..6a6f91204 100644 --- a/org.eclipse.help.ui/src/org/eclipse/help/ui/internal/views/EngineResultSection.java +++ b/org.eclipse.help.ui/src/org/eclipse/help/ui/internal/views/EngineResultSection.java @@ -288,14 +288,13 @@ public class EngineResultSection { if (part.parent.isFilteredByRoles()) { list = new ArrayList<>(); for (int i = 0; i < hits.size(); i++) { - ISearchEngineResult hit = (ISearchEngineResult) hits.get(i); + ISearchEngineResult hit = hits.get(i); if (HelpBasePlugin.getActivitySupport().isEnabled(hit.getHref())) list.add(hit); } } } - ISearchEngineResult[] results = (ISearchEngineResult[]) list.toArray(new ISearchEngineResult[list - .size()]); + ISearchEngineResult[] results = list.toArray(new ISearchEngineResult[list.size()]); if (part.getShowCategories()) sorter.sort(null, results); return results; |