Reinstating final change which was lost at r11917 .

Jean-Noel Rouvignac

18.52.2015 6df9c9bbbfba5e9eaf0f813082452d45f6f06ff7

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