/** Introduces the given {@code plugin}. */ public void introducePlugin(Plugin plugin) { synchronizePlugin(plugin); plugin.save(); }