Fixed opendj3-dev-branch build broken by r10452 on OpenDJ SDK.

Jean-Noel Rouvignac

03.58.2014 8f32af1ffb6ff63e0f8ea6855d898e56083c2e63

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