removed enum keyword
authorbananeweizen <bananeweizen>
Wed, 18 Jan 2006 07:25:36 +0000 (07:25 +0000)
committerbananeweizen <bananeweizen>
Wed, 18 Jan 2006 07:25:36 +0000 (07:25 +0000)
net.sourceforge.phpeclipse.externaltools/src/net/sourceforge/phpeclipse/externaltools/ExternalToolsPlugin.java

index 3ecc289..c392571 100644 (file)
@@ -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) {