OPENDJ-1773: Fix divergence with duplicated server config files

Gaetan Boismal

13.28.2015 567dff901813f6d598a092021b0cfaa9945300b1

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