Put back some code which was too quickly refactored in r11341.

Jean-Noel Rouvignac

02.31.2014 96374465e56c6027fb267371f4e971f8f51da2f4

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