Front-port of r10103,10105,10113.

Jean-Noel Rouvignac

09.45.2014 473e06f2b7f0c9c57ce90c4ef5b8347bb0c13adf

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