@Override
	public List<Plugin> getManagedPlugins() {
		return tool.getManagedPlugins();
	}
The default plugin installer that uses a tool to install plugins
Ghidra/Framework/Project/src/main/java/ghidra/framework/plugintool/DefaultPluginInstaller.java