X-Git-Url: http://git.phpeclipse.com 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 71aa940..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 @@ -25,7 +25,6 @@ import net.sourceforge.phpdt.externaltools.internal.registry.RefreshScopeVariabl import net.sourceforge.phpdt.externaltools.model.IExternalToolConstants; import org.eclipse.core.runtime.CoreException; -import org.eclipse.core.runtime.IPluginDescriptor; import org.eclipse.core.runtime.IStatus; import org.eclipse.core.runtime.Path; import org.eclipse.core.runtime.Platform; @@ -70,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"; @@ -161,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 */ @@ -177,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) { @@ -201,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) {