Revert some overzealous renaming done in previous commit.

Matthew Swift

26.15.2014 e217a493c84b4efae994036ed4644da86a1c8e26

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