Align with fix for DOCS-121; additional fix for OPENDJ-1253

Mark Craig

18.00.2013 e5a630b05410ceede6685b3bb3f579ea8d2aba26

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