Small cleanup of use of maps, lists and also few typos in comments, and con...

Ludovic Poitou

23.25.2013 73a7f0d0c650739c667dc965f6ed2cd34756bd1e

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