mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git

Jean-Noel Rouvignac
08.48.2015 a89f7014aeb71dba5c94404dfea7eb89e7eeee74
opendj-server-legacy/src/main/java/org/opends/server/plugins/ChangeNumberControlPlugin.java
@@ -127,7 +127,7 @@
  {
    currentConfig = configuration;
    configuration.addChangeNumberControlChangeListener(this);
    Set<PluginType> types = new TreeSet<PluginType>();
    Set<PluginType> types = new TreeSet<>();
    // Make sure that the plugin has been enabled for the appropriate types.
    for (PluginType t : pluginTypes)