PluginSpec
Specifies an MPS-plugin to be loaded. The id is the one that can be found in the META-INF/plugin.xml of a plugin.
Specifies an MPS-plugin to be loaded. The id is the one that can be found in the META-INF/plugin.xml of a plugin.