Fixed a bug introduced in r11787.

Jean-Noel Rouvignac

18.15.2015 1d4d8fbcbfdb06a56bfdb48dfeb883e1d74525f3

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