diff options
| author | Alexander Kurtakov | 2017-08-10 05:18:23 +0000 |
|---|---|---|
| committer | Alexander Kurtakov | 2017-08-10 05:18:23 +0000 |
| commit | 6332700c91974929c72b945b8dc2b34deb378a21 (patch) | |
| tree | 9ab03882b8ddecad3ae80668998c6bdbb7f0c6f0 | |
| parent | 1ba9040176a1bdaf3c47df85728ae4ab5b0d2a93 (diff) | |
| download | eclipse.platform.text-I20170812-1500.tar.gz eclipse.platform.text-I20170812-1500.tar.xz eclipse.platform.text-I20170812-1500.zip | |
Bug 520685 - [Generic Editor] Sort ext. by most specialized content-typeI20170815-0035I20170814-2000I20170814-0635I20170814-0300I20170813-2000I20170812-1500I20170811-2000I20170810-2000
Suppress warning about unchecked cast.
Change-Id: I97dd3ae8c1946535fc0dee73bb6bdaaf22f43341
Signed-off-by: Alexander Kurtakov <akurtako@redhat.com>
| -rw-r--r-- | org.eclipse.ui.genericeditor/src/org/eclipse/ui/internal/genericeditor/GenericContentTypeRelatedExtension.java | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/org.eclipse.ui.genericeditor/src/org/eclipse/ui/internal/genericeditor/GenericContentTypeRelatedExtension.java b/org.eclipse.ui.genericeditor/src/org/eclipse/ui/internal/genericeditor/GenericContentTypeRelatedExtension.java index da7dc2be16c..1de66f221be 100644 --- a/org.eclipse.ui.genericeditor/src/org/eclipse/ui/internal/genericeditor/GenericContentTypeRelatedExtension.java +++ b/org.eclipse.ui.genericeditor/src/org/eclipse/ui/internal/genericeditor/GenericContentTypeRelatedExtension.java @@ -36,6 +36,7 @@ public class GenericContentTypeRelatedExtension<T> { this.targetContentType = Platform.getContentTypeManager().getContentType(element.getAttribute(CONTENT_TYPE_ATTRIBUTE)); } + @SuppressWarnings("unchecked") public T createDelegate() { try { return (T) extension.createExecutableExtension(CLASS_ATTRIBUTE); |