Ported the fix present in r11496 to opendj-config.

Jean-Noel Rouvignac

19.57.2014 2ea142fb76a131c9ff135ec7ce1d12dbe65b5f75

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