Fix compilation error due to change in dependency

Nicolas Capponi

11.06.2014 15ebc0198d499badfd9df9806a0a3f781e9351bb

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