diff options
Diffstat (limited to 'org.eclipse.search/search/org/eclipse/search/internal/ui/text/EditorOpener.java')
| -rw-r--r-- | org.eclipse.search/search/org/eclipse/search/internal/ui/text/EditorOpener.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/org.eclipse.search/search/org/eclipse/search/internal/ui/text/EditorOpener.java b/org.eclipse.search/search/org/eclipse/search/internal/ui/text/EditorOpener.java index 8b0744b8259..f907e685d61 100644 --- a/org.eclipse.search/search/org/eclipse/search/internal/ui/text/EditorOpener.java +++ b/org.eclipse.search/search/org/eclipse/search/internal/ui/text/EditorOpener.java @@ -127,7 +127,7 @@ public class EditorOpener { IMarker marker= null; try { marker= file.createMarker(NewSearchUI.SEARCH_MARKER); - HashMap attributes= new HashMap(4); + HashMap<String, Integer> attributes= new HashMap<>(4); attributes.put(IMarker.CHAR_START, new Integer(offset)); attributes.put(IMarker.CHAR_END, new Integer(offset + length)); marker.setAttributes(attributes); |