mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 6b5f26 | patch | commitdiff
Jean-Noel Rouvignac
25.11.2015 d10351e60b3f786a16abe58d916220bb29c0421f
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
commitd10351e60b3f786a16abe58d916220bb29c0421f
tree 20918287fb9e07b8a948bbabc459d626326cb4e7 tree | zip | gz
parent 6b5f26722aa60b3f428a930e9d7eebce8f514c9d view | diff 
Use Collection.contains()
2 files modified
29 ■■■■■ changed files
opendj-server-legacy/src/main/java/org/opends/server/tools/BackendToolUtils.java 13 ●●●●● diff | view | raw | blame | history
opendj-server-legacy/src/main/java/org/opends/server/tools/RebuildIndex.java 16 ●●●●● diff | view | raw | blame | history