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

coulbeck
07.51.2007 f5d26acc60d4149d78536834ae61fa9dbd9f5750
opendj-sdk/opends/src/server/org/opends/server/synchronization/plugin/HistVal.java
@@ -89,7 +89,7 @@
      String[] optionsToken = token[0].split(";");
      options = new HashSet<String>();
      int index = 1;
      while (optionsToken[index] != null)
      while (index < optionsToken.length)
      {
        options.add(optionsToken[index]);
        index ++;