diff options
Diffstat (limited to 'org.eclipse.debug.ui/ui/org/eclipse/debug/ui/DebugUITools.java')
-rw-r--r-- | org.eclipse.debug.ui/ui/org/eclipse/debug/ui/DebugUITools.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/org.eclipse.debug.ui/ui/org/eclipse/debug/ui/DebugUITools.java b/org.eclipse.debug.ui/ui/org/eclipse/debug/ui/DebugUITools.java index a861e4758..5624f3039 100644 --- a/org.eclipse.debug.ui/ui/org/eclipse/debug/ui/DebugUITools.java +++ b/org.eclipse.debug.ui/ui/org/eclipse/debug/ui/DebugUITools.java @@ -877,7 +877,7 @@ public class DebugUITools { Object toggleValue = getToggleTerminateValue(key); if (toggleValue instanceof TerminateToggleValue) { LaunchingResourceManager lrm = DebugUIPlugin.getDefault().getLaunchingResourceManager(); - ArrayList<LaunchShortcutExtension> shortcuts = new ArrayList<LaunchShortcutExtension>(); + ArrayList<LaunchShortcutExtension> shortcuts = new ArrayList<>(); LaunchShortcutExtension shortcut = ((TerminateToggleValue) toggleValue).getShortcut(); shortcuts.add(shortcut); IResource resource = SelectedResourceManager.getDefault().getSelectedResource(); |