diff options
Diffstat (limited to 'org.eclipse.jdt.debug.ui/ui/org/eclipse/jdt/debug/ui/launchConfigurations/JavaAppletLaunchShortcut.java')
-rw-r--r-- | org.eclipse.jdt.debug.ui/ui/org/eclipse/jdt/debug/ui/launchConfigurations/JavaAppletLaunchShortcut.java | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/org.eclipse.jdt.debug.ui/ui/org/eclipse/jdt/debug/ui/launchConfigurations/JavaAppletLaunchShortcut.java b/org.eclipse.jdt.debug.ui/ui/org/eclipse/jdt/debug/ui/launchConfigurations/JavaAppletLaunchShortcut.java index f87316f01..54b5f315b 100644 --- a/org.eclipse.jdt.debug.ui/ui/org/eclipse/jdt/debug/ui/launchConfigurations/JavaAppletLaunchShortcut.java +++ b/org.eclipse.jdt.debug.ui/ui/org/eclipse/jdt/debug/ui/launchConfigurations/JavaAppletLaunchShortcut.java @@ -40,6 +40,7 @@ public class JavaAppletLaunchShortcut extends JavaLaunchShortcut { /* (non-Javadoc) * @see org.eclipse.jdt.debug.ui.launchConfigurations.JavaLaunchShortcut#createConfiguration(org.eclipse.jdt.core.IType) */ + @Override protected ILaunchConfiguration createConfiguration(IType type) { ILaunchConfiguration config = null; try { @@ -61,6 +62,7 @@ public class JavaAppletLaunchShortcut extends JavaLaunchShortcut { /* (non-Javadoc) * @see org.eclipse.jdt.debug.ui.launchConfigurations.JavaLaunchShortcut#getConfigurationType() */ + @Override protected ILaunchConfigurationType getConfigurationType() { ILaunchManager lm= DebugPlugin.getDefault().getLaunchManager(); return lm.getLaunchConfigurationType(IJavaLaunchConfigurationConstants.ID_JAVA_APPLET); @@ -69,6 +71,7 @@ public class JavaAppletLaunchShortcut extends JavaLaunchShortcut { /* (non-Javadoc) * @see org.eclipse.jdt.debug.ui.launchConfigurations.JavaLaunchShortcut#findTypes(java.lang.Object[], org.eclipse.jface.operation.IRunnableContext) */ + @Override protected IType[] findTypes(Object[] elements, IRunnableContext context) throws InterruptedException, CoreException { try { return AppletLaunchConfigurationUtils.findApplets(context, elements); @@ -80,6 +83,7 @@ public class JavaAppletLaunchShortcut extends JavaLaunchShortcut { /* (non-Javadoc) * @see org.eclipse.jdt.debug.ui.launchConfigurations.JavaLaunchShortcut#getTypeSelectionTitle() */ + @Override protected String getTypeSelectionTitle() { return LauncherMessages.JavaAppletLaunchShortcut_0; } @@ -87,6 +91,7 @@ public class JavaAppletLaunchShortcut extends JavaLaunchShortcut { /* (non-Javadoc) * @see org.eclipse.jdt.debug.ui.launchConfigurations.JavaLaunchShortcut#getEditorEmptyMessage() */ + @Override protected String getEditorEmptyMessage() { return LauncherMessages.JavaAppletLaunchShortcut_1; } @@ -94,6 +99,7 @@ public class JavaAppletLaunchShortcut extends JavaLaunchShortcut { /* (non-Javadoc) * @see org.eclipse.jdt.debug.ui.launchConfigurations.JavaLaunchShortcut#getSelectionEmptyMessage() */ + @Override protected String getSelectionEmptyMessage() { return LauncherMessages.JavaAppletLaunchShortcut_2; } |