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

Jean-Noël Rouvignac
02.15.2015 a069e2643d6be5b34309179220b2777d42df13fc
opendj-server-legacy/src/main/java/org/opends/server/backends/pluggable/EntryIDSet.java
@@ -46,7 +46,6 @@
 * Represents a set of Entry IDs. It can represent a set where the IDs are not defined, for example when the index entry
 * limit has been exceeded.
 */
@SuppressWarnings("javadoc")
final class EntryIDSet implements Iterable<EntryID>
{
  public static final EntryIDSetCodec CODEC_V1 = new EntryIDSetCodecV1();
@@ -348,11 +347,13 @@
    @Override
    public void addAll(EntryIDSet that)
    {
      // this has no effect
    }
    @Override
    public void removeAll(EntryIDSet that)
    {
      // this has no effect
    }
    @Override