From 98aa5200b03233f0cb6eee7fd03cd9e7ef39d647 Mon Sep 17 00:00:00 2001 From: bananeweizen Date: Wed, 18 Jan 2006 07:25:36 +0000 Subject: [PATCH] removed enum keyword --- .../externaltools/ExternalToolsPlugin.java | 12 ++++++------ 1 files changed, 6 insertions(+), 6 deletions(-) diff --git a/net.sourceforge.phpeclipse.externaltools/src/net/sourceforge/phpeclipse/externaltools/ExternalToolsPlugin.java b/net.sourceforge.phpeclipse.externaltools/src/net/sourceforge/phpeclipse/externaltools/ExternalToolsPlugin.java index 3ecc289..c392571 100644 --- a/net.sourceforge.phpeclipse.externaltools/src/net/sourceforge/phpeclipse/externaltools/ExternalToolsPlugin.java +++ b/net.sourceforge.phpeclipse.externaltools/src/net/sourceforge/phpeclipse/externaltools/ExternalToolsPlugin.java @@ -69,7 +69,7 @@ public final class ExternalToolsPlugin extends AbstractUIPlugin { public static final String APACHE_RESTART_PREF = "__apache_restart"; public static final String HTTPD_CONF_PATH_PREF = "__httpd_conf_path"; - + public static final String ETC_HOSTS_PATH_PREF = "__etc_hosts_path"; // public static final String SHOW_OUTPUT_IN_CONSOLE = "_show_output_in_console"; @@ -160,7 +160,7 @@ public final class ExternalToolsPlugin extends AbstractUIPlugin { /** * Writes the message to the plug-in's log - * + * * @param message * the text to write to the log */ @@ -176,7 +176,7 @@ public final class ExternalToolsPlugin extends AbstractUIPlugin { /** * Returns the ImageDescriptor for the icon with the given path - * + * * @return the ImageDescriptor object */ public ImageDescriptor getImageDescriptor(String path) { @@ -200,10 +200,10 @@ public final class ExternalToolsPlugin extends AbstractUIPlugin { try { InputStream is = getDefault().openStream(new Path("prefs/default_" + operatingSystem + ".properties")); PropertyResourceBundle resourceBundle = new PropertyResourceBundle(is); - Enumeration enum = resourceBundle.getKeys(); + Enumeration e = resourceBundle.getKeys(); String key; - while (enum.hasMoreElements()) { - key = (String) enum.nextElement(); + while (e.hasMoreElements()) { + key = (String) e.nextElement(); store.setDefault(key, resourceBundle.getString(key)); } } catch (Exception e) { -- 1.7.1