mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 6dad52 | patch | commitdiff
Jean-Noel Rouvignac
25.11.2015 dffa116ef555afd58a37117c23e2d4cf9f3799dd
refs
author Jean-Noel Rouvignac <jean-noel.rouvignac@forgerock.com>
Tuesday, August 25, 2015 15:11 +0200
committer Jean-Noel Rouvignac <jean-noel.rouvignac@forgerock.com>
Tuesday, August 25, 2015 15:11 +0200
commitdffa116ef555afd58a37117c23e2d4cf9f3799dd
tree 7efa33ba91f36e78e895d460cbc595100be27c2f tree | zip | gz
parent 6dad523edd436c5a347118f8e34cdea950455534 view | diff 
Use Collection.contains()
2 files modified
29 ■■■■■ changed files
opendj-sdk/opendj-server-legacy/src/main/java/org/opends/server/tools/BackendToolUtils.java 13 ●●●●● diff | view | raw | blame | history
opendj-sdk/opendj-server-legacy/src/main/java/org/opends/server/tools/RebuildIndex.java 16 ●●●●● diff | view | raw | blame | history