Fix build break from previous commit:

Matthew Swift

16.19.2014 51e5d65834504efd1410ec445fc060498c01a7c3

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