116117118119120121122123124
private void checkPluginManager() throws PluginException { if (pluginManager == null) { try { configure(); } catch (Exception e) { throw new PluginException(e); } } }