Revert a change from r11464. I do not think it was correct here :)

Jean-Noel Rouvignac

17.40.2014 9dfbced646d64bfc89752dad00982754c4b3540e

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