Minor code cleanup and improvements:

Matthew Swift

26.30.2013 23766aa898d550284dea2ed51a7828584c303b6c

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