Method addKnownPlugin

src/main/java/gate/Gate.java:1018–1022

Adds the plugin to the list of known plugins. @param plugin the plugin to add to the list of known plugins.

(Plugin plugin)

   *          the plugin to add to the list of known plugins.
   */
  public static void addKnownPlugin(Plugin plugin) {
    if(knownPlugins.contains(plugin)) return;
    if (PluginUpdateManager.getDefaultPlugins().contains(plugin)) return;
    knownPlugins.add(plugin);
  }

  /**
   * Makes sure the provided URL ends with "/" (CREOLE URLs always point to