mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 913ce648 | patch | commit | show whitespace
abobrov
13.54.2009 51f103e106c5c252ddc8fadee08df94c24ea9dde 
- fix previous commit.
1 files modified
3 ■■■■■ changed files
opends/src/server/org/opends/server/types/AttributeBuilder.java 3 ●●●●● patch | view | raw | blame | history 
 opends/src/server/org/opends/server/types/AttributeBuilder.java


@@ -1713,7 +1713,8 @@


   * Indicates whether this attribute builder has exactly the


   * specified set of options.


   *


   * This implementation returns AbstractCollection#isEmpty()


   * This implementation returns


   * {@link java.util.AbstractCollection#isEmpty()}


   * if the provided set of options is <code>null</code>.


   * Otherwise it checks that the size of the provided


   * set of options is equal to the size of this attribute