private PluginManager getPluginManager() { if (pluginMgr == null) { pluginMgr = (PluginManager) LockssDaemon.getManager(LockssDaemon.PLUGIN_MANAGER); } return pluginMgr; }