PluginManager.getPlugin() is too fragile
The current API for retrieving a plugin is
this takes the plugins canonical name, and returns the plugin. The canonical name of the plugin is essentially the lower case file name of the folder it is contained within (e.g. admin, bookmarks, certificatemanager).
However, this does rely on the plugin being installed with the exact file name that the author intended. Installing the plugin as (e.g.) bookmarks-1.1.0.jar means that calling pluginManager.getPlugin("bookmarks") will fail.
It is proposed to introduce a new API
that will retrieve the plugin by the name contained with the plugin.xml - this allows the plugin to have any-old name in the plugins folder.