diff options
Diffstat (limited to 'org.eclipse.ui.genericeditor/src/org/eclipse/ui/internal/genericeditor/markers/MarkerInformationControl.java')
-rw-r--r-- | org.eclipse.ui.genericeditor/src/org/eclipse/ui/internal/genericeditor/markers/MarkerInformationControl.java | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/org.eclipse.ui.genericeditor/src/org/eclipse/ui/internal/genericeditor/markers/MarkerInformationControl.java b/org.eclipse.ui.genericeditor/src/org/eclipse/ui/internal/genericeditor/markers/MarkerInformationControl.java index 5a1cd3e0228..98bf713d93b 100644 --- a/org.eclipse.ui.genericeditor/src/org/eclipse/ui/internal/genericeditor/markers/MarkerInformationControl.java +++ b/org.eclipse.ui.genericeditor/src/org/eclipse/ui/internal/genericeditor/markers/MarkerInformationControl.java @@ -10,6 +10,7 @@ *******************************************************************************/ package org.eclipse.ui.internal.genericeditor.markers; +import java.util.Collection; import java.util.List; import org.eclipse.core.resources.IMarker; @@ -53,7 +54,7 @@ public class MarkerInformationControl extends AbstractInformationControl impleme create(); } - private List<IMarker> markers; + private Collection<IMarker> markers; private Composite parent; @Override @@ -80,6 +81,7 @@ public class MarkerInformationControl extends AbstractInformationControl impleme return null; } + @SuppressWarnings("unchecked") @Override public void setInput(Object input) { this.markers = (List<IMarker>)input; |