Add comment missed from previous commit

Chris Ridd

15.29.2014 ba18f9c0f06137b8fa1fef7aca25e4cb8f97054b

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