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 ++;