mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
opendj-server-legacy/src/main/java/org/opends/server/backends/jeb/VerifyJob.java @@ -1082,7 +1082,7 @@ }; index.indexer.indexEntry(entry, dummySet, options); index.indexEntry(entry, dummySet, options); if (!foundMatchingKey.get()) {