Partial fix for OPENDJ-1489: Update OpenDJ Docs for New Branding

Mark Craig

05.25.2014 ca51b66bbba7bc650978a3033765000b86fdf9bd

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