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";
/**
* Writes the message to the plug-in's log
- *
+ *
* @param message
* the text to write to the log
*/
/**
* Returns the ImageDescriptor for the icon with the given path
- *
+ *
* @return the ImageDescriptor object
*/
public ImageDescriptor getImageDescriptor(String path) {
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) {