An extension point where plugins can be registered.
The base interface for flexive plugins.
Marker interface for plugin executors.
PluginExecutor that allows to add buttons to a toolbar.