12081209121012111212121312141215121612171218
if ( !build.getPluginsAsMap().containsKey( plugin.getKey() ) ) { injectPluginManagementInfo( plugin ); build.addPlugin( plugin ); build.flushPluginMap(); } } public void injectPluginManagementInfo( Plugin plugin ) {