Fix minor optimization proposed by FindBugs.

Ludovic Poitou

23.18.2011 9246fe58bbf73e2c1710dec9c9ceace14efd379e

1
2
DocBook XML source for OpenDJ core user documentation. Java API and
configuration reference documentation is generated from OpenDJ source code.