public String getPluginID() {
    String id = (String) props.get("plugin.id");

    // hack alert - azupdater needs to change its plugin id due to general hackage

    if (id != null && id.equals("azupdater")) {

      plugin_id_to_use = id;
    }

    if (plugin_id_to_use != null) {
      return plugin_id_to_use;
    }

    // Calculate what plugin ID value to use - look at the properties file
    // first, and if that isn't correct, base it on the given plugin ID
    // value we were given.

    if (id == null) {
      id = given_plugin_id;
    }
    if (id == null) {
      id = "<none>";
    }

    plugin_id_to_use = id;
    return plugin_id_to_use;
  }
  public String getPluginName() {
    String name = null;

    if (props != null) {

      name = (String) props.get("plugin.name");
    }

    if (name == null) {

      try {

        name = new File(pluginDir).getName();

      } catch (Throwable e) {

      }
    }

    if (name == null || name.length() == 0) {

      name = plugin.getClass().getName();
    }

    return (name);
  }
  public String getPluginVersion() {
    String version = (String) props.get("plugin.version");

    if (version == null) {

      version = plugin_version;
    }

    return (version);
  }
    protected propertyWrapper(Properties _props) {
      Iterator it = _props.keySet().iterator();

      while (it.hasNext()) {

        Object key = it.next();

        put(key, _props.get(key));
      }

      initialising = false;
    }