diff options
author | Brian de Alwis | 2016-04-07 16:19:31 +0000 |
---|---|---|
committer | Brian de Alwis | 2016-04-07 17:11:26 +0000 |
commit | 3690d52e9e3c1f9452c3061a4e3fe91f006395d6 (patch) | |
tree | af8511a7ae8836838f143ce0a539587330803d8b /org.eclipse.help.base/src/org/eclipse/help | |
parent | 0e483fb65c311488286034313cc5bd3639504ccd (diff) | |
download | eclipse.platform.ua-3690d52e9e3c1f9452c3061a4e3fe91f006395d6.tar.gz eclipse.platform.ua-3690d52e9e3c1f9452c3061a4e3fe91f006395d6.tar.xz eclipse.platform.ua-3690d52e9e3c1f9452c3061a4e3fe91f006395d6.zip |
Bug 488210 - Generify org.eclipse.help plugin
Generify some of the remaining difficult pieces
Change-Id: I69926e4dff5ee0ce33e81307535ada8c11a79b10
Diffstat (limited to 'org.eclipse.help.base/src/org/eclipse/help')
-rw-r--r-- | org.eclipse.help.base/src/org/eclipse/help/internal/base/remote/RemoteExtensionProvider.java | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/org.eclipse.help.base/src/org/eclipse/help/internal/base/remote/RemoteExtensionProvider.java b/org.eclipse.help.base/src/org/eclipse/help/internal/base/remote/RemoteExtensionProvider.java index 289252434..f7416a4bb 100644 --- a/org.eclipse.help.base/src/org/eclipse/help/internal/base/remote/RemoteExtensionProvider.java +++ b/org.eclipse.help.base/src/org/eclipse/help/internal/base/remote/RemoteExtensionProvider.java @@ -66,8 +66,7 @@ public class RemoteExtensionProvider extends AbstractContentExtensionProvider { reader = new DocumentReader(); } UAElement element = reader.read(in); - IContentExtension[] children = (IContentExtension[]) element - .getChildren(IContentExtension.class); + IContentExtension[] children = element.getChildren(IContentExtension.class); for (int contrib = 0; contrib < children.length; contrib++) { contributions.add(children[contrib]); } |